Created
January 19, 2013 12:56
-
-
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/
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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/ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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