2.1. Curry's paradox = Löb's paradox ¶
Curry_paradox
Curry paradox
Curry paradox
Curry's paradox
Löb's paradox
Löb's paradox
rel. Loeb_theorem =,Loeb_theorem . Loeb_theorem ? Löb's_theorem = https://en.wiktionary.org/wiki/Löb's_theorem { 1955년
Löb's theorem
https://planetmath.org/lobstheorem
Löb's_theorem
= https://en.wikipedia.org/wiki/Löb's_theorem
= https://en.wikipedia.org/wiki/Löb's_theorem
https://ncatlab.org/nlab/show/Löb's theorem
= https://ncatlab.org/nlab/show/Löb's+theorem
Löb's_theorem
= https://en.wikipedia.org/wiki/Löb's_theorem
= https://en.wikipedia.org/wiki/Löb's_theorem
https://ncatlab.org/nlab/show/Löb's theorem
= https://ncatlab.org/nlab/show/Löb's+theorem
원래 이것의 형식은 괴델의 불완전성정리,incompleteness_theorem의 일반화,generalization였다.
증명가능성,provability =증명가능성,provability =,provability . 증명가능성 provability
에 대해 논한다.
mentions Loeb_axiom =,Loeb_axiom . Loeb_axiom
{
Löb’s axiom
See https://ncatlab.org/nlab/show/Löb's theorem#idea
} // Löb’s axiom .... Löb’s axiom Löb’s axiom
Up: 공리,axiom증명가능성,provability =증명가능성,provability =,provability . 증명가능성 provability
에 대해 논한다.
mentions Loeb_axiom =,Loeb_axiom . Loeb_axiom
{
Löb’s axiom
See https://ncatlab.org/nlab/show/Löb's theorem#idea
} // Löb’s axiom .... Löb’s axiom Löb’s axiom