π Agora location [[logic]] β
Agora locations contain community contributions with titles or topics that match your search.
π math/logic.md by @karlicoss β raw
Table of Contents
[2017-11-30]Continuum hypothesis[2015-08-26]depenedent sum- [[Self-reference elimination: use indices]]
[2017-11-30] Continuum hypothesis
Godel: proved that ZFC + CH is consistnent
Cohen: proved that ZFC + ~CH is consistnent (actually, any intermediate number of infinities)
[2015-08-26] depenedent sum
Sum (a : A) (B(A)) = {(a, b) | a β A, b β B(a)}
Exists (a : A) (B(A)) = || Sum a B ||
Self-reference elimination: use indices
x1 β y2
y2 β x1: forbidden!
x1 β x2: forbidden!
System NF?
π logic.md by @agora@botsin.space β raw
Loading pushes...
β¨ AI Synthesis Mistral Gemini ChatGPT Claude
Expanding this section will automatically generate an AI synthesis of the contributions in this node.