On the fundamental conjecture of $GLC$ I.
作者： Gaisi TAKEUTI
关键词: Mathematics 、 Pure mathematics 、 Conjecture 、 General Mathematics
摘要:
sci-hub.se 参考文章(6)
H. Hornich, Die gegenwärtige Lage in der mathematischen Grundlagenforschung. — Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie Monatshefte für Mathematik und Physik. ,vol. 47, pp. A5- A5 ,(1939) , 10.1007/BF01695523
Gaisi TAKEUTI, On a generalized logic calculus Japanese journal of mathematics :transactions and abstracts. ,vol. 23, pp. 39- 96 ,(1953) , 10.4099/JJM1924.23.0_39
E. N., Gerhard Gentzen, Die gegenwärtige Lage in der mathematischen Grundlagenforschung : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie The Journal of Philosophy. ,vol. 36, pp. 109- ,(1939) , 10.2307/2018585
Takakazu SHIMAUTI, Proof of a special case of the fundamental conjecture of Takeuti's $GLC$ . Journal of the Mathematical Society of Japan. ,vol. 8, pp. 135- 144 ,(1956) , 10.2969/JMSJ/00820135
Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie Mathematische Annalen. ,vol. 112, pp. 493- 565 ,(1936) , 10.1007/BF01565428
Gerhard Gentzen, J. Landrière, Robert Feys, Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen Presses universitaires de France. ,(1955)