Extensional Godel Functional Interpretation: A Consistency...

Main
Mathematics
Extensional Godel Functional...

Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis

Horst Luckhardt

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

年:

1973

出版社:

Springer

语言:

english

页:

166

ISBN 10:

0387061193

ISBN 13:

9780387061191

系列:

Recent Results in Cancer Research

文件:

DJVU, 1.01 MB

IPFS:

,

english, 1973

下载 (djvu, 1.01 MB)

正在转换

转换为失败

您可能会感兴趣

威廉·乔丹 & 克里斯·威克姆 & 西蒙·普莱斯 & 彼得·索恩曼 & 蒂莫西• 布莱宁 & 理查德·埃文斯 & 马克·格林格拉斯 & 伊恩·克肖 [威廉·乔丹 & 克里斯·威克姆 & 西蒙·普莱斯 & 彼得·索恩曼 & 布莱宁, 蒂莫西• & 理查德·埃文斯 & 马克·格林格拉斯 & 伊恩·克肖] — 企鹅欧洲史：古代中世纪卷+近现代史卷（套装共7册）（一部没有阅读门槛，人人皆可读的历史巨著！多位历史学家，十年打磨！）

Stephen Cole Kleene, Richard Eugène Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Troelstra, A S — History of Constructivism in the 20th Century

Kurt Gödel — The Princeton Lectures on Intuitionism

Carl J. Posy — Mathematical Intuitionism

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson — Harvey Friedman's research on the foundations of mathematics

Kumaraswamy Velupillai — Computable Economics (Arne Ryde Memorial Lectures)

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

Michael Dummett — Elements of Intuitionism

A. S. Troelstra — Choice Sequences: A Chapter of Intuitionistic Mathematics

Mathias A.R.D., Rogers H. — Cambridge Summer School In Mathematical Logic

Stephen Cole Kleene, R.E. Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

B. Van Rootselaar, J. F. Staal — Logic, Methodology and Philosophy of Science III (Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967)

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

A.S. Troelstra, D.van Dalen — The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

Stewart Shapiro — Intensional mathematics

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Mark van Atten — On Brouwer

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

Richard L. Epstein, Walter A Carnielli — Computability: computable functions, logic, and the foundations of mathematics

Jeremy Avigad — Mathematical Logic and Computation

Carl J. Posy — Mathematical Intuitionism (Elements in the Philosophy of Mathematics)

John Stillwell — Reverse Mathematics: Proofs from the Inside Out

Odifreddi, Piergiorgio Odifreddi — Kreiseliana: About and Around Georg Kreisel

Klaus Mainzer — The Digital and the Real World: Computational Foundations of Mathematics, Science, Technology, and Philosophy

Maria Hämeen-Anttila (editor), Jan von Plato (editor) — Kurt Gödel: The Princeton Lectures on Intuitionism

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Horst Luckhardt — Extensional Godel Functional Interpretation

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi — Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.) — Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Soren Stenlund — Combinators,lambda-terms and proof theory

Sören Stenlund (auth.) — Combinators, λ-Terms and Proof Theory

关键词