WorldCat Identities

Takeuti, Gaisi 1926-2017

Overview
Works: 52 works in 274 publications in 6 languages and 5,362 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Honoree, Editor
Publication Timeline
.
Most widely held works about Gaisi Takeuti
 
Most widely held works by Gaisi Takeuti
Memoirs of a proof theorist : Gödel and other logicians by Gaisi Takeuti( )

18 editions published in 2003 in English and held by 1,371 WorldCat member libraries worldwide

This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order logic
Introduction to axiomatic set theory by Gaisi Takeuti( Book )

41 editions published between 1970 and 2011 in 3 languages and held by 993 WorldCat member libraries worldwide

In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the con sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen's work on the independence of the AC and the GCH. Notes taken in 1963 by the second author were taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in set theory frequently develop the subject rapidly moving from key result to key result and suppressing many details. Advocates of the fast development claim at least two advantages. First, key results are high lighted, and second, the student who wishes to master the subject is com pelled to develop the detail on his own. However, an instructor using a "fast development" text must devote much class time to assisting his students in their efforts to bridge gaps in the text
Proof theory by Gaisi Takeuti( Book )

47 editions published between 1975 and 2013 in 5 languages and held by 937 WorldCat member libraries worldwide

"This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"--
Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981 by Helmut Cajar( Book )

24 editions published in 1981 in English and Undetermined and held by 559 WorldCat member libraries worldwide

Axiomatic set theory by Gaisi Takeuti( Book )

21 editions published between 1973 and 1974 in 3 languages and held by 519 WorldCat member libraries worldwide

Two applications of logic to mathematics by Gaisi Takeuti( Book )

22 editions published between 1978 and 2015 in English and Italian and held by 470 WorldCat member libraries worldwide

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs.Originally published in 1978.The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905
Two applications of logic to mathematics by Gaisi Takeuti( )

1 edition published in 1978 in English and held by 211 WorldCat member libraries worldwide

Formally self-referential propositions for cut free classical analysis and related systems by Georg Kreisel( Book )

2 editions published in 1974 in English and held by 50 WorldCat member libraries worldwide

Chokkan shugiteki shūgōron by Gaisi Takeuti( )

2 editions published in 1980 in Japanese and held by 46 WorldCat member libraries worldwide

Sūgakuteki sekaikan : gendai sūgaku no shisō to tenbō by Gaisi Takeuti( )

5 editions published in 1982 in Japanese and held by 39 WorldCat member libraries worldwide

Logic Symposia Hakone 1979, 1980 Proceedings of Conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 by G. H Müller( )

1 edition published in 1981 in English and held by 32 WorldCat member libraries worldwide

Formally self-referential propositions for cut free classical analysis and related system by Georg Kreisel( Book )

5 editions published in 1974 in English and held by 19 WorldCat member libraries worldwide

Shūgō to wa nani ka : hajimete manabu hito no tame ni by Gaisi Takeuti( Book )

7 editions published between 1976 and 2001 in Japanese and held by 14 WorldCat member libraries worldwide

Arithmetic, proof theory, and computational complexity by Peter Clote( Book )

1 edition published in 1993 in English and held by 10 WorldCat member libraries worldwide

Mugensho kaiseki to butsurigaku by Gaisi Takeuti( Book )

5 editions published between 1985 and 2001 in Japanese and held by 7 WorldCat member libraries worldwide

Gēderu by Gaisi Takeuti( Book )

4 editions published between 1986 and 1998 in Japanese and held by 6 WorldCat member libraries worldwide

Gendai shugoron nyumon( Book )

5 editions published between 1971 and 1989 in Japanese and held by 6 WorldCat member libraries worldwide

Shōmeiron nyūmon by Gaisi Takeuti( Book )

4 editions published between 1988 and 2010 in Japanese and held by 5 WorldCat member libraries worldwide

Sūgaku kisoron by Shōji Maehara( Book )

5 editions published between 1967 and 2017 in Japanese and held by 5 WorldCat member libraries worldwide

Sō, ken, toposu : gendaiteki shūgōzō o motomete by Gaisi Takeuti( Book )

4 editions published between 1978 and 1979 in Japanese and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.46 (from 0.03 for Memoirs of ... to 0.99 for Takeuti, G ...)

Memoirs of a proof theorist : Gödel and other logicians
Covers
Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981Arithmetic, proof theory, and computational complexity
Alternative Names
Gaishi, Takeuchi 1926-

Gaisi, Takeuti 1926-

Gaisi Takeuti Japanese mathematician

Gaisi Takeuti matemático japonés

Gaisi Takeuti mathématicien japonais

Takeuchi, Gaishi

Takeuchi, Gaishi 1926-

Takeuchi, Gaishi 1926-2017

Takeuchi, Gaisi 1926-

Takeuti, G.

Takeuti, G. 1926-2017

Takeuti, Gaishi 1926-

Takeuti, Gaisi

Takeuti Gaisi 1926-....

Такеути, Г..

다케우치 가이시

タケウチ, ガイシ

タケウチ, ガイシ 1926-

タケウチ, ガイシ, 1926-2017

竹内外史

竹内外史 1926-

竹内外史, 1926-2017

Languages
English (167)

Japanese (41)

Russian (7)

Italian (4)

German (1)

Dutch (1)