25,161
edits
Changes
no edit summary
## [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Gödel's incompleteness theorems] 44:52
## [https://en.wikipedia.org/wiki/Continuum_hypothesis Continuum hypothesis] 46:30
## [https://en.wikipedia.org/wiki/Four_color_theorem Four color theorem] 46:38## [https://en.wikipedia.org/wiki/Computer-assisted_proof Computer-assisted proof]50:04
=References=