9783030508784 - can mathematics be proved consistent?: gödel's shorthand notes & lectures on incompleteness di von plato, jan (14 risultati)

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,27
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,24
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,12
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 85,02
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.

Lingua: Inglese
Editore: Springer Nature, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,24
EUR 11,70 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 272 pages. 9.25x6.10x0.63 inches. In Stock.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 91,94
EUR 9,07 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
Altre immaginiLingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,90
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Can Mathematics Be Proved Consistent? | Gödel's Shorthand Notes & Lectures on Incompleteness | Jan Von Plato | Taschenbuch | Sources and Studies in the History of Mathematics and Physical Sciences | ix | Englisch | 2021 | Springer | EAN 9783030508784 | Verantwortliche Person für die EU: Springer Ver…lag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,83
EUR 62,12 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that… such proving could be reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Gödel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question 'Can mathematics be proved consistent 'This book offers the first examination of Gödel's preserved not Elektronisches Buch from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Gödel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Gödelgave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,23
EUR 5,50 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.

Lingua: Inglese
Editore: Springer International Publishing Jul 2021, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to… the extent that such proving could be reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Gödel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question 'Can mathematics be proved consistent 'This book offers the first examination of Gödel's preserved not Elektronisches Buch from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Gödel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Gödelgave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time. 276 pp. Englisch.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 85,03
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.

Lingua: Inglese
Editore: Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 87,25
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.

Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|European Research Council|Springer, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,76
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathema…tical proofs, to the extent that such pro.

Lingua: Inglese
Editore: Springer, Palgrave Macmillan Jul 2021, 2021
Serie: Libro 57 di 59 - Sources and Studies in the History of Mathematics and Physical Sciences
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the… extent that such proving could be reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Gödel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question 'Can mathematics be proved consistent 'Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.