Difference between revisions

logic-foundations

(page created)

Revision 46 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).”

Status and infobox

kind: — → region

Source +16 −0

+---

+title: Logic and foundations

+kind: region

+space: mathematics

+---

+What can be proved at all. The answers here include the most famous impossibility results in mathematics, and they set the limits every other continent works within.

+Mathematics Subject Classification: 03.

+## Problems

+- [[Problem:continuum-hypothesis|Continuum hypothesis]] (independent)

+- [[Problem:hilbert-second|Hilbert's second problem: consistency of arithmetic]] (refuted)

+- [[Problem:whitehead-problem|Whitehead problem]] (independent)

+Part of [[Continent:mathematics|Mathematics]].

Revision 46 as rendered

What can be proved at all. The answers here include the most famous impossibility results in mathematics, and they set the limits every other continent works within.

Mathematics Subject Classification: 03.

Problems

Continuum hypothesis (independent)
Hilbert's second problem: consistency of arithmetic (refuted)
Whitehead problem (independent)

Part of Mathematics.