Mathesis universalis computability proof (28 résultats)
Mathesis Universalis, Computability and Proof
Centrone, Stefania (EDT); Negri, Sara (EDT); Sarikaya, Deniz (EDT); Schuster, Peter M. (EDT)
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 135,56
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 137,91
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Mathesis Universalis, Computability and Proof
Centrone, Stefania (EDT); Negri, Sara (EDT); Sarikaya, Deniz (EDT); Schuster, Peter M. (EDT)
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 142,81
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer, 2019
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 141,35
EUR 14,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 141,35
EUR 14,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Mathesis Universalis, Computability and Proof
Centrone, Stefania (EDT); Negri, Sara (EDT); Sarikaya, Deniz (EDT); Schuster, Peter M. (EDT)
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 141,33
EUR 17,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Mathesis Universalis, Computability and Proof
Centrone, Stefania (EDT); Negri, Sara (EDT); Sarikaya, Deniz (EDT); Schuster, Peter M. (EDT)
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 149,16
EUR 17,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer International Publishing, 2019
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 63,70 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - In a fragment entitledElementa Nova Matheseos Universalis(1683 ) Leibniz writes 'themathesis[.]shall deliver the method through which things that are conceivable can be exactly determined'; in another fragment he takes themathesisto be 'the science of all thi…ngs that are conceivable.' Leibniz considers all mathematical disciplines as branches of themathesisand conceives themathesisas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms themathesisinvestigates possible relations between 'arbitrary objects' ('objets quelconques'). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitledContributions to a Better-Grounded Presentation of Mathematics.There is, according to him, acertain objective connectionamong the truths that are germane to a certain homogeneous field of objects: some truths are the 'reasons' ('Gründe') of others, and the latter are 'consequences' ('Folgen') of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proofis characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors ofMathesis Universalis, Computability and Proof,leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.
Langue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 173,38
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. 1st ed. 2019 edition NO-PA16APR2015-KAP.
Langue : anglais
Edité par Springer, 2019
- Couverture rigide
Vendeur : Buchpark, Trebbin, AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 68,16
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 384 | Sprache: Englisch | Produktart: Bücher | In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes ¿the mathesis [¿] shall deliver the method through which things that are conceivable can be exactly determined¿; in another fragment he takes the ma…thesis to be ¿the science of all things that are conceivable.¿ Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between ¿arbitrary objects¿ (¿objets quelconques¿). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the ¿reasons¿ (¿Gründe¿) of others, and the latter are ¿consequences¿ (¿Folgen¿) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.
Langue : anglais
Edité par Springer, 2019
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 174,57
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 374 1st ed. 2019 edition.
Autres imagesLangue : anglais
Edité par Springer, 2020
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 113,20
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Mathesis Universalis, Computability and Proof | Stefania Centrone (u. a.) | Taschenbuch | x | Englisch | 2020 | Springer | EAN 9783030204495 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Langue : anglais
Edité par Springer Nature, 2020
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 181,08
EUR 14,62 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 384 pages. 9.25x6.10x0.87 inches. In Stock.
Langue : anglais
Edité par Springer, Springer, 2020
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 62,91 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - In a fragment entitledElementa Nova Matheseos Universalis(1683 ) Leibniz writes 'themathesis[.]shall deliver the method through which things that are conceivable can be exactly determined'; in another fragment he takes themathesisto be 'the science of…all things that are conceivable.' Leibniz considers all mathematical disciplines as branches of themathesisand conceives themathesisas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms themathesisinvestigates possible relations between 'arbitrary objects' ('objets quelconques'). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitledContributions to a Better-Grounded Presentation of Mathematics.There is, according to him, acertain objective connectionamong the truths that are germane to a certain homogeneous field of objects: some truths are the 'reasons' ('Gründe') of others, and the latter are 'consequences' ('Folgen') of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proofis characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors ofMathesis Universalis, Computability and Proof,leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.
Langue : anglais
Edité par Springer Verlag, 2019
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 183,12
EUR 14,62 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Hardcover. Etat : Brand New. 384 pages. 9.25x6.10x0.98 inches. In Stock.
Langue : anglais
Edité par Springer, 2020
- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 102,25
EUR 6,80 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer, 2019
- Couverture rigide
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 102,25
EUR 6,80 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer International Publishing Nov 2019, 2019
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a fragment entitledElementa Nova Matheseos Universalis(1683 ) Leibniz writes 'themathesis[.]shall deliver the method through which things that are conceivable can be exactly determined'; in another fragment he takes themathesisto be 'the sc…ience of all things that are conceivable.' Leibniz considers all mathematical disciplines as branches of themathesisand conceives themathesisas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms themathesisinvestigates possible relations between 'arbitrary objects' ('objets quelconques'). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitledContributions to a Better-Grounded Presentation of Mathematics.There is, according to him, acertain objective connectionamong the truths that are germane to a certain homogeneous field of objects: some truths are the 'reasons' ('Gründe') of others, and the latter are 'consequences' ('Folgen') of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proofis characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors ofMathesis Universalis, Computability and Proof,leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. 384 pp. Englisch.
Langue : anglais
Edité par Springer International Publishing Nov 2020, 2020
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a fragment entitledElementa Nova Matheseos Universalis(1683 ) Leibniz writes 'themathesis[.]shall deliver the method through which things that are conceivable can be exactly determined'; in another fragment he takes themathesisto be…'the science of all things that are conceivable.' Leibniz considers all mathematical disciplines as branches of themathesisand conceives themathesisas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms themathesisinvestigates possible relations between 'arbitrary objects' ('objets quelconques'). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitledContributions to a Better-Grounded Presentation of Mathematics.There is, according to him, acertain objective connectionamong the truths that are germane to a certain homogeneous field of objects: some truths are the 'reasons' ('Gründe') of others, and the latter are 'consequences' ('Folgen') of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proofis characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors ofMathesis Universalis, Computability and Proof,leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. 384 pp. Englisch.
Mathesis Universalis, Computability and Proof
Centrone, Stefania|Negri, Sara|Sarikaya, Deniz|Schuster, Peter M.
Langue : anglais
Edité par Springer International Publishing, 2019
- Couverture rigide
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,83
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Gottfried Leibniz s philosophy of logic in the Digital Age   Views on second-order thinking in the history of mathematics A contemporary perspective on the foundations of mathemati.
Mathesis Universalis, Computability and Proof
Centrone, Stefania|Negri, Sara|Sarikaya, Deniz|Schuster, Peter M.
Langue : anglais
Edité par Springer International Publishing, 2020
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,83
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Gottfried Leibniz s philosophy of logic in the Digital Age   Views on second-order thinking in the history of mathematics A contemporary perspective on the foundations of mathemati.
Langue : anglais
Edité par Springer, 2020
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 179,81
EUR 7,60 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand.
Langue : anglais
Edité par Springer, 2019
- Couverture rigide
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 181,15
EUR 7,60 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. 374.
Autres imagesLangue : anglais
Edité par Springer, 2019
- Couverture rigide
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 113,90
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Buch. Etat : Neu. Mathesis Universalis, Computability and Proof | Stefania Centrone (u. a.) | Buch | x | Englisch | 2019 | Springer | EAN 9783030204464 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Langue : anglais
Edité par Springer, Springer Nov 2019, 2019
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In a fragment entitled Elementa Nova Matheseos Universalis (1683 ) Leibniz writes ¿the mathesis [¿] shall deliver the method through which things that are conceivable can be exactly determined¿; in another fragment he takes the mathesis to be ¿the… science of all things that are conceivable.¿ Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between ¿arbitrary objects¿ (¿objets quelconques¿). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the ¿reasons¿ (¿Gründe¿) of others, and the latter are ¿consequences¿ (¿Folgen¿) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch.
Langue : anglais
Edité par Springer, Springer Nov 2020, 2020
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In a fragment entitled Elementa Nova Matheseos Universalis (1683 ) Leibniz writes ¿the mathesis [¿] shall deliver the method through which things that are conceivable can be exactly determined¿; in another fragment he takes the mathesis to…be ¿the science of all things that are conceivable.¿ Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between ¿arbitrary objects¿ (¿objets quelconques¿). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the ¿reasons¿ (¿Gründe¿) of others, and the latter are ¿consequences¿ (¿Folgen¿) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch.
Langue : anglais
Edité par Springer, 2019
- Couverture rigide
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 184,22
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND pp. 374.
Langue : anglais
Edité par Springer, 2020
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 184,13
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND.
