Cargando…

Infinity and truth /

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the fo...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: World Scientific (Firm)
Otros Autores: Chong, C.-T. (Chi-Tat), 1949-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, N.J. : World Scientific Pub. Co., ©2014.
Colección:Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; v. 25.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn869905641
003 OCoLC
005 20240329122006.0
006 m o d
007 cr buu|||uu|||
008 091123s2014 si a ob 000 0 eng d
040 |a WSPC  |b eng  |e pn  |c STF  |d DEBSZ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCF  |d OCLCO  |d OCLCQ  |d OCLCO  |d EYM  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 1237217133 
020 |a 9789814571043  |q (electronic bk.) 
020 |a 9814571040 
020 |z 9789814571036  |q (hardcover ;  |q alk. paper) 
029 1 |a DEBBG  |b BV044066564 
029 1 |a DEBSZ  |b 40097049X 
029 1 |a DEBSZ  |b 454909071 
035 |a (OCoLC)869905641  |z (OCoLC)1237217133 
050 4 |a QA9.A1  |b I54 2013 
082 0 4 |a 510.1  |2 22 
049 |a UAMI 
245 0 0 |a Infinity and truth /  |c editors, Chitat Chong [and others]. 
260 |a Singapore ;  |a Hackensack, N.J. :  |b World Scientific Pub. Co.,  |c ©2014. 
300 |a 1 online resource (ix, 234 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture notes series, Institute for Mathematical Sciences, National University of Singapore ;  |v v. 25 
504 |a Includes bibliographical references. 
505 0 |a Section I. Invited lectures. Absoluteness, truth, and quotients / Ilijas Farah -- A multiverse perspective on the axiom of constructibility / Joel David Hamkins -- Hilbert, Bourbaki and the scorning of logic / A.R.D. Mathias -- Toward objectivity in mathematics / Stephen G. Simpson -- Sort logic and foundations of mathematics / Jouko Väänänen -- Reasoning about constructive concepts / Nik Weaver -- Perfect infinities and finite approximation / Boris Zilber -- Section II. Special session. An objective justification for actual infinity? / Stephen G. Simpson -- Oracle questions / Theodore Slaman and W. Hugh Woodin. 
520 |a This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
650 0 |a Mathematics  |x Philosophy  |v Congresses. 
650 0 |a Set theory  |v Congresses. 
650 0 |a Axiomatic set theory  |v Congresses. 
650 6 |a Logique symbolique et mathématique  |v Congrès. 
650 6 |a Mathématiques  |x Philosophie  |v Congrès. 
650 6 |a Théorie des ensembles  |v Congrès. 
650 6 |a Théorie axiomatique des ensembles  |v Congrès. 
650 7 |a Axiomatic set theory  |2 fast 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 7 |a Mathematics  |x Philosophy  |2 fast 
650 7 |a Set theory  |2 fast 
655 7 |a Conference papers and proceedings  |2 fast 
700 1 |a Chong, C.-T.  |q (Chi-Tat),  |d 1949-  |1 https://id.oclc.org/worldcat/entity/E39PBJt8m4PHhJYfHR4DGBDpfq 
710 2 |a World Scientific (Firm) 
758 |i has work:  |a Infinity and truth (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFPYQRYGTWW8HrBHmwpGxP  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 1 |q hardcover : alk. paper  |z 9789814571036 
830 0 |a Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;  |v v. 25. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1611960  |z Texto completo 
936 |a BATCHLOAD 
994 |a 92  |b IZTAP