Template:Selected anniversaries/October 25: Difference between revisions
No edit summary |
No edit summary |
||
Line 61: | Line 61: | ||
File:Alfred Tarski 1968.jpg|link=Alfred Tarski (nonfiction)|1962: Mathematician and crime-fighter [[Alfred Tarski (nonfiction)|Alfred Tarski]] publishes new theory of metamathematical analysis which quickly finds applications in the detection and prevention of [[crimes against mathematical constants]]. | File:Alfred Tarski 1968.jpg|link=Alfred Tarski (nonfiction)|1962: Mathematician and crime-fighter [[Alfred Tarski (nonfiction)|Alfred Tarski]] publishes new theory of metamathematical analysis which quickly finds applications in the detection and prevention of [[crimes against mathematical constants]]. | ||
||1883: Karl von Terzaghi born ... geologist and engineer. Pic. | |||
||1971: Mikhail Yangel dies ... leading missile designer in the Soviet Union. Pic. | ||1971: Mikhail Yangel dies ... leading missile designer in the Soviet Union. Pic. |
Revision as of 05:45, 2 October 2020
1647: Physicist and mathematician Evangelista Torricelli dies. He invented the barometer, made advances in optics, and worked on the method of indivisibles.
1713: Gottfried Leibniz, in a letter to Johann Bernoulli, observed that an alternating series whose terms monotonically decrease to zero in absolute value is convergent.
1923: Aircraft designer Igor Sikorsky demonstrates experimental helicopter which uses time crystals (nonfiction) to reduce fuel cost.
1927: Writer and alleged troll Culvert Origenes received Pulitzer Prize for his essay on Alice Beta's contributions to Gnomon algorithm theory.
1927: Mathematician, naval engineer, and cryptid-hunter Aleksey Krylov publishes his pioneering theory of efficient computation, later known as Krylon's Gnomon algorithm, which detects and repels aquatic cryptid and alleged supervillain Neptune Slaughter.
1928: Computer scientist, astronomer, and academic Peter Naur born. He will contribute to the design, structure, and performance of computer programs and algorithms.
1962: Mathematician and crime-fighter Alfred Tarski publishes new theory of metamathematical analysis which quickly finds applications in the detection and prevention of crimes against mathematical constants.