DiscoverOpinionated History of MathematicsConsequentia mirabilis: the dream of reduction to logic
Consequentia mirabilis: the dream of reduction to logic

Consequentia mirabilis: the dream of reduction to logic

Update: 2020-09-08
Share

Description

Euclid’s Elements, read backwards, reduces complex truths to simpler ones, such as the Pythagorean Theorem to the parallelogram area theorem, and that in turn to triangle congruence. How far can this reductive process be taken, and what should be its ultimate goals? Some have advocated that the axiomatic-deductive program in mathematics is best seen in … Continue reading Consequentia mirabilis: the dream of reduction to logic
Comments 
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel
Did Copernicus steal ideas from Islamic astronomers?

Did Copernicus steal ideas from Islamic astronomers?

2023-11-2901:27:04

Operational Einstein: constructivist principles of special relativity

Operational Einstein: constructivist principles of special relativity

2023-07-2301:16:38

Review of Netz’s New History of Greek Mathematics

Review of Netz’s New History of Greek Mathematics

2022-10-1152:04

The “universal grammar” of space: what geometry is innate?

The “universal grammar” of space: what geometry is innate?

2022-05-2032:22

“Repugnant to the nature of a straight line”: Non-Euclidean geometry

“Repugnant to the nature of a straight line”: Non-Euclidean geometry

2022-02-2030:40

Rationalism 2.0: Kant’s philosophy of geometry

Rationalism 2.0: Kant’s philosophy of geometry

2021-11-1730:00

Rationalism versus empiricism

Rationalism versus empiricism

2021-09-1843:50

Cultural reception of geometry in early modern Europe

Cultural reception of geometry in early modern Europe

2021-07-1033:47

Maker’s knowledge: early modern philosophical interpretations of geometry

Maker’s knowledge: early modern philosophical interpretations of geometry

2021-05-1049:29

“Let it have been drawn”: the role of diagrams in geometry

“Let it have been drawn”: the role of diagrams in geometry

2021-03-1051:12

Why construct?

Why construct?

2021-01-2001:18:01

Created equal: Euclid’s Postulates 1-4

Created equal: Euclid’s Postulates 1-4

2020-12-1041:00

That which has no part: Euclid’s definitions

That which has no part: Euclid’s definitions

2020-11-0343:33

What makes a good axiom?

What makes a good axiom?

2020-10-0435:21

Consequentia mirabilis: the dream of reduction to logic

Consequentia mirabilis: the dream of reduction to logic

2020-09-0835:50

Read Euclid backwards: history and purpose of Pythagorean Theorem

Read Euclid backwards: history and purpose of Pythagorean Theorem

2020-07-3041:37

Singing Euclid: the oral character of Greek geometry

Singing Euclid: the oral character of Greek geometry

2020-06-2140:10

First proofs: Thales and the beginnings of geometry

First proofs: Thales and the beginnings of geometry

2020-05-1542:27

Societal role of geometry in early civilisations

Societal role of geometry in early civilisations

2020-03-2936:01

Why the Greeks?

Why the Greeks?

2020-02-1640:42

loading
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Consequentia mirabilis: the dream of reduction to logic

Consequentia mirabilis: the dream of reduction to logic

Intellectual Mathematics