| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a22000001i 4500 |
| 001 |
in00003456281 |
| 006 |
m |o d | |
| 007 |
cr |n||||||||| |
| 008 |
140127t20142014nju ob 100 0 eng d |
| 005 |
20250816213545.9 |
| 020 |
|
|
|a 9814571040 (electronic bk.)
|
| 020 |
|
|
|a 9789814571043 (electronic bk.)
|
| 020 |
|
|
|z 9789814571036 (hardcover : alk. paper)
|
| 020 |
|
|
|z 9814571032 (hardcover : alk. paper)
|
| 035 |
|
|
|a (NhCcYBP)ebr10832756
|
| 035 |
|
|
|a (OCoLC)ocn869735434
|
| 040 |
|
|
|a NhCcYBP
|c NhCcYBP
|d UtOrBLW
|
| 050 |
|
4 |
|a QA9.A1
|b I54 2011eb
|
| 082 |
0 |
4 |
|a 510.1
|2 23
|
| 111 |
2 |
|
|a Workshop on Infinity and Truth
|d (2011 :
|c Institute for Mathematical Sciences, Singapore)
|
| 245 |
1 |
0 |
|a Infinity and truth /
|c edited by Chitat Chong (National University of Singapore, Singapore), Qi Feng (National University of Singapore, Singapore), Theodore A. Slaman (University of California, Berkeley, USA), and W. Hugh Woodin (University of California, Berkeley, USA).
|
| 264 |
|
1 |
|a New Jersey :
|b World Scientific,
|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 volume 25
|
| 500 |
|
|
|a "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."
|
| 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.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 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.
|
| 588 |
|
|
|a Description based on print version record.
|
| 500 |
|
|
|a Electronic resource.
|
| 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.
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Chong, C.-T.
|q (Chi-Tat),
|d 1949-
|e editor.
|
| 700 |
1 |
|
|a Feng, Qi,
|d 1955-
|e editor.
|
| 700 |
1 |
|
|a Slaman, T. A.
|q (Theodore Allen),
|d 1954-
|e editor.
|
| 700 |
1 |
|
|a Woodin, W. H.
|q (W. Hugh),
|e editor.
|
| 710 |
2 |
|
|a ebrary, Inc.
|
| 776 |
1 |
8 |
|c Original
|z 9789814571036
|z 9814571032
|w (DLC) 2013041952
|
| 830 |
|
0 |
|a Lecture notes series, Institute for Mathematical Sciences, National University of Singapore ;
|v volume 25.
|
| 856 |
4 |
1 |
|u https://ebookcentral.proquest.com/lib/tamucs/detail.action?docID=1611960
|y Connect to the full text of this electronic book
|t 0
|
| 948 |
|
|
|a cataloged
|b h
|c 2014/10/7
|d c
|e jlanham
|f 12:41:25 pm
|
| 999 |
f |
f |
|s 8e7f75b5-f2fc-375d-acc4-07af288f65de
|i ceff0d9d-6e79-34bd-ac5f-ec0d4a3e5e47
|t 0
|
| 999 |
|
|
|a MARS
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|d Available Online
|t 0
|e QA9.A1 I54 2011eb
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA9.A1 I54 2011eb
|t 0
|l Available Online
|