Télécharger le livre :  Limits of AI - theoretical, practical, ethical
Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has...

Editeur : Springer
Parution : 2024-03-31
Collection : Technik im Fokus PDF, ePub

29,53

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Axiomatic Thinking I
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...

Editeur : Springer
Parution : 2022-10-13
PDF, ePub

94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Axiomatic Thinking II
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...

Editeur : Springer
Parution : 2022-09-17
PDF, ePub

105,49

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Grenzen der KI – theoretisch, praktisch, ethisch
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch in der Industrie große Erwartungen verbunden sind. In diesem Buch werden sowohl die Perspektiven als auch die Grenzen dieser Technologie diskutiert. Das betrifft die...

Editeur : Springer
Parution : 2022-06-16
Collection : Technik im Fokus PDF, ePub

19,71

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  The Legacy of Kurt Schütte
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to...

Editeur : Springer
Parution : 2020-08-10
PDF

116,04

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Advances in Proof Theory
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof...

Editeur : Birkhäuser
Parution : 2016-05-04
Collection : Progress in Computer Science and Applied Logic ePub

105,49

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Gentzen's Centenary
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from...

Editeur : Springer
Parution : 2015-11-02
PDF, ePub

158,24

Téléchargement immédiat
Dès validation de votre commande