1000+ Theorems project: Difference between revisions
From MaRDI portal
Created page with " === About === The spiritual successor of Freek’s [https://www.cs.ru.nl/~freek/100/ list of 100 theorems]. Now with more than 1000 theorems! The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list. This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinscha..." |
No edit summary |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{#invoke:Theorems|buildTableFromSparql|}} | |||
=== About === | === About === | ||
The spiritual successor of Freek’s [https://www.cs.ru.nl/~freek/100/ list of 100 theorems]. Now with more than 1000 theorems! | The spiritual successor of [[Person:865657|Freek’s]] [https://www.cs.ru.nl/~freek/100/ list of 100 theorems]. Now with more than 1000 theorems! | ||
The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list. | The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list. | ||
This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany ́s Excellence Strategy – EXC-2047/1 – 390685813. | This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany ́s Excellence Strategy – EXC-2047/1 – 390685813. | ||
| Line 13: | Line 12: | ||
* https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics/1000%2BTheorems | * https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics/1000%2BTheorems | ||
=== Persons involved === | |||
[[Person:1662197|Katja Berči]] | |||
[[Person:1687767|Floris van Doorn]] | |||
Latest revision as of 17:06, 1 August 2024
| Theorem | Software | Paper |
|---|---|---|
| continuum hypothesis | Lean | A Formal Proof of the Independence of the Continuum Hypothesis |
About
The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems! The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list. This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany ́s Excellence Strategy – EXC-2047/1 – 390685813.
source https://1000-plus.github.io/
