Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen
| Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen |
| Autore | Brouwer, Luitzen Egbert Jan |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1981 |
| Descrizione fisica | xii, 109 p. ; 23 cm |
| Disciplina | 511.2 |
| Altri autori (Persone) | Dalen, Dirk van |
| Soggetto topico |
Intuitionistic mathematics
Philosophy of mathematics |
| ISBN | 0521234417 |
| Classificazione | AMS 00A30 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000723809707536 |
Brouwer, Luitzen Egbert Jan
|
||
| Cambridge : Cambridge University Press, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra
| Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | ix, 170 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides |
| Soggetto topico |
Intuitionistic mathematics
Many-valued logic Sequences |
| ISBN | 019853163X |
| Classificazione |
AMS 03B50
AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000741689707536 |
|
Troelstra, A. S.
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (X, 350 p.) |
| Disciplina | 511.36 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Constructive mathematics
Intuitionistic mathematics |
| ISBN | 3-540-38759-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Seidenberg's condition P -- Field extensions -- Dedekind domains -- Effective mathematics — the computer algebra viewpoint -- On some open problems in constructive probability theory -- Consistency and independence results in intuitionistic set theory -- Errata -- Computability of ordinal recursion of type level two -- A constructive approach to classical mathematics -- Remarks on the notion of standard non-isomorphic natural number series -- Reflections on Bishop's philosophy of mathematics -- Formalizing constructive mathematics: Why and how? -- Independence of premisses and the free topos -- An intuitionistic infinitesimal calculus -- Liberal constructive set theory -- Locating metric complements in ?n -- A disjunctive decomposition theorem for classical theories -- Towards a constructive foundation for quantum mechanics -- About infinity, finiteness and finitization (in connection with the foundations of mathematics) -- A class of theorems with valid constructive counterparts -- Rational constructive analysis. |
| Record Nr. | UNISA-996466490703316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio
| Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio |
| Autore | Dummett, Michael A. E. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | x, 467 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Minio, Roberto |
| Collana | Oxford logic guides |
| Soggetto topico | Intuitionistic mathematics |
| ISBN | 0198531583 |
| Classificazione |
AMS 00A30
AMS 03A05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000855309707536 |
|
Dummett, Michael A. E.
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Extensional Godel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt
| Extensional Godel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt |
| Autore | Luckhardt, Horst |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | vi, 161 p. ; 26 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 306 |
| Soggetto topico |
Consistency results
Independence results Intuitionistic mathematics Proof theory |
| ISBN | 3540061193 |
| Classificazione | AMS 03E35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000883639707536 |
|
Luckhardt, Horst
|
||
| Berlin ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Extensional Gödel functional interpretation : a consistency proof of classical analysis / / Horst Luckhardt
| Extensional Gödel functional interpretation : a consistency proof of classical analysis / / Horst Luckhardt |
| Autore | Luckhardt Horst |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973] |
| Descrizione fisica | 1 online resource (VI, 166 p.) |
| Disciplina | 510.8 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Intuitionistic mathematics
Proof theory Mathematical analysis |
| ISBN | 3-540-38283-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | and survey -- A formal system of classical analysis -- Elimination of extensionality -- Translation of classical into intuitionistic approximated theories -- Gödel's functional interpretation in the narrower sense -- The calculus T of the primitive recursive functionals -- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T -- The calculus T?BR of the bar recursive functionals -- Functional interpretation of classical (AC)o-, (?AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T?BR -- Further consequences from the functional interpretation of classical analysis -- Consistency proof by computation. Computation of T?BRo...o?? -- Generalized inductive definitions -- Generalization of bar induction BID and the inductive generation processes to trees over species -- A model for T?BR -- On the bar recursive model of classical analysis and the general bar induction over species. |
| Record Nr. | UNISA-996466586903316 |
|
Luckhardt Horst
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Geometria intuitiva / Emma Castelnuovo
| Geometria intuitiva / Emma Castelnuovo |
| Autore | Castelnuovo, Emma |
| Edizione | [3. ed., 3. ristampa] |
| Pubbl/distr/stampa | Firenze : La nuova Italia, 1962 |
| Descrizione fisica | xi, 330 p., 20 p. di tav. : 497 ill. ; 22 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Intuitionistic mathematics |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000937369707536 |
|
Castelnuovo, Emma
|
||
| Firenze : La nuova Italia, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Intuitionism : an introduction / A. Heyting
| Intuitionism : an introduction / A. Heyting |
| Autore | Heyting, A. |
| Edizione | [[3rd rev. ed.]] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1971 |
| Descrizione fisica | viii, 147 p. ; 23 cm. |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X |
| Soggetto topico | Intuitionistic mathematics |
| ISBN | 0720422396 |
| Classificazione |
AMS 03F55
QA9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001041029707536 |
|
Heyting, A.
|
||
| Amsterdam : North-Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Kurt Gödel : the Princeton lectures on intuitionism / / Maria Hämeen-Anttila and Jan von Plato
| Kurt Gödel : the Princeton lectures on intuitionism / / Maria Hämeen-Anttila and Jan von Plato |
| Autore | Hämeen-Anttila Maria |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2021] |
| Descrizione fisica | 1 online resource (ix, 133 pages) |
| Disciplina | 160 |
| Collana | Sources and studies in the history of mathematics and physical sciences |
| Soggetto topico |
Logic, Symbolic and mathematical
Intuitionistic mathematics |
| ISBN | 3-030-87296-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Acknowledgements -- Contents -- Introduction: Gödel's functional interpretation in context -- Content of the lectures -- Sources -- The intuitionistic viewpoint -- Between intuitionistic and classical logic -- Vagueness and absurdity: Gödel's critique of intuitionism -- The constructive system Σ and the calculability question -- Interpretation of intuitionistic arithmetic in system Σ -- Applications of the Σ-translation -- After the seventeen-year silence -- Princeton Lectures on Intuitionism -- Notebook 1 -- Notebook 2 -- Proof of the soundness of the intuitionistic axioms -- Notes on recursive functions -- References -- Index of names in the Princeton Lectures. |
| Record Nr. | UNISA-996466555803316 |
|
Hämeen-Anttila Maria
|
||
| Cham, Switzerland : , : Springer International Publishing, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Kurt Gödel : the Princeton lectures on intuitionism / / Maria Hämeen-Anttila and Jan von Plato
| Kurt Gödel : the Princeton lectures on intuitionism / / Maria Hämeen-Anttila and Jan von Plato |
| Autore | Hämeen-Anttila Maria |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2021] |
| Descrizione fisica | 1 online resource (ix, 133 pages) |
| Disciplina | 160 |
| Collana | Sources and studies in the history of mathematics and physical sciences |
| Soggetto topico |
Logic, Symbolic and mathematical
Intuitionistic mathematics |
| ISBN | 3-030-87296-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Acknowledgements -- Contents -- Introduction: Gödel's functional interpretation in context -- Content of the lectures -- Sources -- The intuitionistic viewpoint -- Between intuitionistic and classical logic -- Vagueness and absurdity: Gödel's critique of intuitionism -- The constructive system Σ and the calculability question -- Interpretation of intuitionistic arithmetic in system Σ -- Applications of the Σ-translation -- After the seventeen-year silence -- Princeton Lectures on Intuitionism -- Notebook 1 -- Notebook 2 -- Proof of the soundness of the intuitionistic axioms -- Notes on recursive functions -- References -- Index of names in the Princeton Lectures. |
| Record Nr. | UNINA-9910513580003321 |
|
Hämeen-Anttila Maria
|
||
| Cham, Switzerland : , : Springer International Publishing, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
