Template:Selected anniversaries/May 10: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 82: Line 82:
||2017: Gaisi Takeuti dies ... mathematician, known for his work in proof theory. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. Pic search: https://www.google.com/search?q=Gaisi+Takeuti
||2017: Gaisi Takeuti dies ... mathematician, known for his work in proof theory. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. Pic search: https://www.google.com/search?q=Gaisi+Takeuti


File:Green Tangle 4.jpg|link=Green Tangle 4 (nonfiction)|2018: ''[[Green Tangle 4 (nonfiction)|Green Tangle 4]]''voted Picture of the Day by the citizens of [[New Minneapolis, Canada]].
File:Green Tangle 4.jpg|link=Green Tangle 4 (nonfiction)|2018: Durng a routine review of steganographic botany, ''[[Green Tangle 4 (nonfiction)|Green Tangle 4]]'' is unexpectedly reveals "at least two hundred and fifty six, perhaps five hundred and twelve" previously unknown shades of the color [[Green (nonfiction)|green]].


File:What people want, mainly (John Brunner, The Jagged Orbit).jpg|link=John Brunner on what people want, mainly (nonfiction)|2020: John Brunner observation on [[John Brunner on what people want, mainly (nonfiction)|what people want, mainly]] is voted Rebuke of the Day by the citizens of [[New Minneapolis, Canada]]
</gallery>
</gallery>

Revision as of 19:29, 10 May 2020