9783030204464 - mathesis universalis, computability and proof: 412 (synthese library, 412) de centrone (14 resultados)
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 141,21
Envío por EUR 13,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 153,63
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Más imágenes
Idioma: Inglés
Editorial: Springer International Publishing, 2019
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 63,70Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 68,16
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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 th…e 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.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 175,36
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 374 1st ed. 2019 edition.
Idioma: Inglés
Editorial: Springer Verlag, 2019
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 184,54
Envío por EUR 14,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 384 pages. 9.25x6.10x0.98 inches. In Stock.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,95
Envío por EUR 9,11Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 102,25
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
- Impresión bajo demanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 114,71
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Más imágenes
Idioma: Inglés
Editorial: Springer International Publishing Nov 2019, 2019
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: 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 'th…e 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.
- Más imágenes
Mathesis Universalis, Computability and Proof
Centrone, Stefania|Negri, Sara|Sarikaya, Deniz|Schuster, Peter M.
Idioma: Inglés
Editorial: Springer International Publishing, 2019
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 109,83
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 181,98
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 374.
- Más imágenes
Idioma: Inglés
Editorial: Springer, Springer Nov 2019, 2019
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 128,39
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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.
Idioma: Inglés
Editorial: Springer, 2019
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 184,22
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 374.
