Zeitpunkt Nutzer Delta Tröts TNR Titel Version maxTL Mi 07.08.2024 00:00:08 61.977 +2 3.611.687 58,3 Fosstodon 4.2.10 500 Di 06.08.2024 00:00:37 61.975 +4 3.608.594 58,2 Fosstodon 4.2.10 500 Mo 05.08.2024 00:00:05 61.971 +5 3.606.116 58,2 Fosstodon 4.2.10 500 So 04.08.2024 00:00:02 61.966 +2 3.604.482 58,2 Fosstodon 4.2.10 500 Sa 03.08.2024 00:00:05 61.964 -2 3.602.552 58,1 Fosstodon 4.2.10 500 Fr 02.08.2024 00:00:23 61.966 -4 3.599.813 58,1 Fosstodon 4.2.10 500 Do 01.08.2024 00:01:11 61.970 +3 3.596.601 58,0 Fosstodon 4.2.10 500 Mi 31.07.2024 00:00:00 61.967 0 3.593.593 58,0 Fosstodon 4.2.10 500 Di 30.07.2024 00:00:20 61.967 +2 3.590.362 57,9 Fosstodon 4.2.10 500 Mo 29.07.2024 00:00:12 61.965 0 3.587.302 57,9 Fosstodon 4.2.10 500
Philip Trettner (@artificialmind) · 07/2023 · Tröts: 415 · Folger: 51
Mi 07.08.2024 11:35
I think I've improved my intuition about classical vs. constructive math using the following (hopefully correct) insight:
Assuming that classical math is consistent, then classical and constructive math can never contradict / disagree with each other (one says "P is false" and the other "P is true"). Classical math can decide more statements but when both schools have a proof, it must agree on "is true" or "is false".
[Öffentlich] Antw.: 0 Wtrl.: 0 Fav.: 0