Takakazu Simauti. Mechanization of mathematics. Electronics and communications in Japan, vol. 46 no. 11 , pp. 64–70

Journal of Symbolic Logic 35 (3):484 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200090782

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Takakazu Simauti, A Note on the Construction of Ordinal Numbers. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (3):396-396.
Kimio Ibuki, Kenzi Naemura, and Akihiro Nozaki. General theory of complete sets of logical functions. Electronics and communications in Japan, vol. 46 no. 7 , pp. 55–65. [REVIEW]William Wernick - 1972 - Journal of Symbolic Logic 37 (2):416-417.
The effective sequence of uniformities and its limit: as a methodology in computable analysis.Mariko Yasugi, Takakazu Mori & Yoshiki Tsujii - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):99-121.
Shimauti Takakazu. 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. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-64.
Robinson A.. A basis for the mechanization of the theory of equations. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 95–99.Robinson A.. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 , pp. 47–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):118-118.
Wang Hao. The mechanization of mathematical arguments. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 31–40. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.
Mechanization Takes Command: A Contribution to Anonymous History.Sigfried Giedion - 1955 - Oxford University Press.
Mechanization Takes Command. A Contribution to Anonymous History.Paul Zucker - 1949 - Journal of Aesthetics and Art Criticism 7 (3):259-260.
The unreasonable effectiveness of mathematics in the natural sciences.Eugene Wigner - 1960 - Communications in Pure and Applied Mathematics 13:1-14.
The Mechanization of the Mind: On the Origins of Cognitive Science.Jean-Pierre Dupuy - 2000 - Princeton University Press.
Suzuki Yosmndo. On the uniformization principle. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 137–144. [REVIEW]Stephen J. Garland - 1971 - Journal of Symbolic Logic 36 (4):687-687.
Ohnishi Masao and Matsumoto Kazuo. A system for strict implication. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 99–108. , pp. 183–188.). [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
The history of semiconductor electronics — a Kuhnian story?Joop Schopman - 1981 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 12 (2):297-302.
The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda, Kanji Namba & Nobuyoshi Motohashi - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.
Digital Electronics with PLD Integration.Nigel P. Cook - 2001 - Pearson College Division.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,165,120)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references