Skip to content

Instantly share code, notes, and snippets.

@davetroy
Created January 19, 2013 12:56
Show Gist options
  • Save davetroy/4572545 to your computer and use it in GitHub Desktop.
Save davetroy/4572545 to your computer and use it in GitHub Desktop.
Edits to Max Skibinsky's excellent essay on Gödel incompleteness for startups. http://skibinsky.com/godel-incompleteness-for-startups/
s/Wheather/Weather
s/anything more powerful then Gödel/anything more powerful than Gödel's/
s/deductions wont/deductions won't/
s/that maps refers/that map refers/
s/Lets work/Let's work/
s/complicated then arithmetic/complicated than arithmetic
s/in such system/in such a system/
s/cannot at same time/cannot at the same time/
s/higher then average/higher than average/
s/or disproved it/or disprove it/
s/from global marketplace/from the global marketplace/
s/going to loose/going to lose/
s/never ever discovery/never ever discover/
s/closer to answer/closer to answering the/
s/be grave/be a grave/
s/to amazing elegance/to the amazing elegance/
s/of Gödel proof/of Gödel's proof/
s/includes lightweight/includes a lightweight/
s/details of Godel/details of the Gödel/
s/famous Cantor/the famous Cantor/
s/and Turing Halting/and the Turing Halting/
s/Cantor proof/Cantor's proof/
s/consider biggest formal/consider the biggest formal/
s/serving specific purpose/serving a specific purpose/
s/humanity have develop/humanity has developed/
s/within for one/within one/
s/provable deduction/provable using deduction/
s/What is fundamentally is/What, fundamentally, is/
s/losers is ability/losers is the ability/
s/example of simplest/example of the simplest/
s/see system of/see, the system of/
s/clearly implies countable/clearly implies a countable/
s/systems out of marketplace/systems out of the marketplace/
s/How you leverage/How do you leverage/
s/was in unique/was in a unique/
s/Lets imagine/Let's imagine/
s/its utterly/it's utterly/
s/represents true/represents a true/
s/about smaller formal/about the smaller formal/
s/There are few companies/There are a few companies/
s/less then Google's/less than Google's/
s/Zuckenberg/Zuckerberg/
s/its not bound/it's not bound/
s/spot for new/spot for a new/
s/If startup zeroes/If the startup zeroes/
s/luck of funding/lack of funding/
s/represents true/represents a true/
s/because human world/because the human world/
s/the process formalization/the process of formalization/
s/add last unsigned/add the last unsigned/
s/its still finite/it's still finite/
s/Finding company in/Finding the company/
s/genre its discovered/genre it has discovered/
s/looses capacity/loses capacity/
s/Google dominance/Google's dominance/
s/lets run down/let's run down/
s/larger then/larger than/
s/Right now cost/Right now the cost/
s/From Gödel model/From Gödel's model/
s/keeps drawing blank/keeps drawing a blank/
s/any of Charlie/any Charlie/
s/dealing with un-provable/dealing with an unprovable/
s/longer then small/longer than small/
s/startups have, it/startups have. It/
s/must leaving the/must leave the/
s/and formalizing/and formalized/
s/get new popular strategy/get a new popular strategy/
s/idea-space.When/idea-space. When/
s/opposite of recent/opposite of the recent/
s/strategy lead to/strategy led to the/
s/company, is very/company, that is a very/
s/example of huge/example of the huge/
s/limitations of formal system/limitations of formal systems/
s/The big chunk of startups becomes/Most startups become/
s/early, they/early, and they/
s/stumble upon such statement/have stumbled upon such a statement/
s/discovered domain are/discovered domain is/
s/decades to grown/decades to grow/
s/Why some startups are bought/Why are some startups bought/
s/stage its/stage it's/
s/can get x1000/can get a x1000/
s/serve as indirect/serve as an indirect/
s/its very unlikely/it's very unlikely/
s/These are first few/These are the first few/
s/lets try/let's try/
s/as we could./as we can./
s/mentioning Black Swan book/mentioning the book Black Swan/
s/with Black Swan book/with the book/
s/inherit in the system/inherent in the system/
s/exactly in context/exactly in the context/
s/events that lead/events that led/
s/Its inspiring/It's inspiring/
s/more by demigod/more by the demigod/
@lord-max
Copy link

Dave, many thanks again for the list! Fixes are now live. did you use any software or just heroically produced that list by hand?! i just pasted it into direct perl script to execute

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment