Difference between pages "Gödel and Leibniz" and "Tim Bray leaving Amazon in protest"

Latest revision as of 16:27, 15 November 2020

Tim Bray, co-author of XML, stepped down as Amazon VP over their handling of whistleblowers on May 1st. His post on this decision is worth reading.

Next entry:
OK

@@ Line 1: / Line 1: @@
-{{pubdate|9|August|2020}}
+{{pubdate|4|May|2020}}
-Gödel in his later age became obsessed with the idea that Leibniz had written a much more detailed version of the Characteristica Universalis, and that this version was intentionally censored and hidden by a conspiracy. Leibniz had discovered what he had hunted for his whole life, a way to calculate truth and end all disagreements.
+[https://en.wikipedia.org/wiki/Tim_Bray Tim Bray], co-author of XML, stepped down as Amazon VP over their handling of whistleblowers on May 1st. [https://www.tbray.org/ongoing/When/202x/2020/04/29/Leaving-Amazon His post on this decision] is worth reading.
-I'm surprised that it was Gödel in particular to obsess with this idea, because I'd think that someone with Leibniz' smarts would have benefitted tremendously from Gödel's proofs, and it might have been a helpful antidote to his own obsession with making truth a question of mathematics.
-And wouldn't it seem likely to Gödel that even if there were such a Characteristics Universalis by Leibniz, that, if no one else before him, he, Gödel himself would have been the one to find the fatal bug in it?
 {{tag|Simia}}
-<noinclude>{{simiapost|english}}</noinclude>
+<noinclude>{{simiapost|english}}