Template:Are You Sure/January 11: Difference between revisions
Jump to navigation
Jump to search
(Created page with "[[|thumb|175px|link=|]] • ... that scientist and bishop '''Niels Steensen''' (1 January 1638 – 25 November 1686) questioned explanations f...") |
No edit summary |
||
| Line 1: | Line 1: | ||
• ... that scientist and bishop '''[[Niels Steensen (nonfiction)|Niels Steensen]]''' (1 January 1638 – 25 November 1686) questioned explanations for the idea that fossils grow in the ground? | • ... that scientist and bishop '''[[Niels Steensen (nonfiction)|Niels Steensen]]''' (1 January 1638 – 25 November 1686) questioned explanations for the idea that fossils grow in the ground? | ||
• ... that mathematician, cosmographer, and academic '''[[Pedro Nunes (nonfiction)|Pedro Nunes]]''' (11 January 1502 – 11 August 1578) pioneered the application of mathematics to navigation and cartography? | • ... that mathematician, cosmographer, and academic '''[[Pedro Nunes (nonfiction)|Pedro Nunes]]''' (11 January 1502 – 11 August 1578) pioneered the application of mathematics to navigation and cartography? | ||
• ... that computer scientist '''[[Tony Hoare (nonfiction)|Tony Hoare]]''' (born 11 January 1934) developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem)? | • ... that computer scientist '''[[Tony Hoare (nonfiction)|Tony Hoare]]''' (born 11 January 1934) developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem)? | ||
Latest revision as of 03:20, 2 January 2021
• ... that scientist and bishop Niels Steensen (1 January 1638 – 25 November 1686) questioned explanations for the idea that fossils grow in the ground?
• ... that mathematician, cosmographer, and academic Pedro Nunes (11 January 1502 – 11 August 1578) pioneered the application of mathematics to navigation and cartography?
• ... that computer scientist Tony Hoare (born 11 January 1934) developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem)?