Elements of Intuitionism: 39 - Rilegato

Dummett, Michael

 
9780198505242: Elements of Intuitionism: 39
Rilegato
ISBN 10: 0198505248 ISBN 13: 9780198505242
Casa editrice: OUP Oxford, 2000

Sinossi

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism. From reviews of the first edition: This excellent book can be recommended to the student of mathematics or philosophy wishing to get a comprehensive and reliable introduction to modern intuitionism. Zentralblatt für Mathematik The relevance of this book extends well beyond the confines of the philosophy of mathematics, right to the centre of debates in the philosophy of language. Philosophical Books . . . a valuable and original contribution to the philosophy of mathematics. Journal of Symbolic Logic

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

  • Introductory remarks
  • 1: Preliminaries
  • 2: Elementary intuitionistic mathematics
  • 3: Choice sequences and spreads
  • 4: The formalization of intuitionistic logic
  • 5: The semantics of intuitionistic logic
  • 6: Some further topics
  • 7 Concluding philosophical remarks
  • Bibliography
  • Index

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
OUP Oxford
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0198505248
ISBN 13 
9780198505242
Rilegatura
Copertina rigida
Numero edizione
2
Numero di pagine
344
Contatto del produttore
non disponibile
Persona responsabile
Penguin Random House Ireland Limited
productsafety@penguin.co.uk

Morrison Chambers, 32 Nassau Street
Dublin
D02 YH68
Irlanda

Altre edizioni note dello stesso titolo

9780198531586: Elements of Intuitionism

Edizione in evidenza

ISBN 10:  0198531583 ISBN 13:  9780198531586
Casa editrice: Oxford Univ Pr, 1977
Rilegato