Template:Selected anniversaries/March 30: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 33: Line 33:
File:Stanisław Leśniewski.jpg|link=Stanisław Leśniewski (nonfiction)|1886: Mathematician, philosopher, and logician [[Stanisław Leśniewski (nonfiction)|Stanisław Leśniewski]] born. He will posit three nested formal systems, to which he will give the Greek-derived names of protothetic, ontology, and mereology.
File:Stanisław Leśniewski.jpg|link=Stanisław Leśniewski (nonfiction)|1886: Mathematician, philosopher, and logician [[Stanisław Leśniewski (nonfiction)|Stanisław Leśniewski]] born. He will posit three nested formal systems, to which he will give the Greek-derived names of protothetic, ontology, and mereology.


||1888: J. R. Williams born ... cartoonist.
||1888: J. R. Williams born ... cartoonist. Pic.


File:Ascleplius Myrmidon Halting Problem.jpg|link=On Halting Problems|1891: [[On Halting Problems|Asclepius Myrmidon discovers unregistered halting problem]], predicts new class of [[crimes against mathematical constants]].
File:Ascleplius Myrmidon Halting Problem.jpg|link=On Halting Problems|1891: [[On Halting Problems|Asclepius Myrmidon discovers unregistered halting problem]], predicts new class of [[crimes against mathematical constants]].

Revision as of 11:42, 17 June 2019