1.

Record Nr.

UNICAMPANIASUN0029536

Autore

Duro, Aldo

Titolo

3.2: Pe-R / Aldo Duro

Pubbl/distr/stampa

Roma, : Istituto della Enciclopedia Italiana, c1991

Descrizione fisica

XI, 1557 p., [96] p. di tav. : ill. ; 29 cm.

Disciplina

453

Soggetti

Lingua italiana - Dizionari

00A20 - Dictionaries and other general reference works [MSC 2020]

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910808018803321

Titolo

Infinity and truth / / editors, Chitat Chong, Qi Feng, National University of Singapore, Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA

Pubbl/distr/stampa

New Jersey : , : World Scientific, , [2014]

�2014

ISBN

981-4571-04-0

Descrizione fisica

1 online resource (ix, 234 pages) : illustrations

Collana

Lecture notes series (Institute for Mathematical Sciences, National University of Singapore), , 1793-0758 ; ; volume 25

Disciplina

510.1

Soggetti

Logic, Symbolic and mathematical

Mathematics - Philosophy

Set theory

Axiomatic set theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"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."

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

section I. Invited lectures -- section II. Special session.

Sommario/riassunto

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 cover topics 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 mathematic