7 résultat(s)
Télécharger le livre : Limits of AI - theoretical, practical, ethical
Reinhard Kahle , Klaus Mainzer
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
Format(s) : PDF, ePub
29,53 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Axiomatic Thinking I
Fernando Ferreira , Reinhard Kahle , Giovanni Sommaruga
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

Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Axiomatic Thinking II
Fernando Ferreira , Reinhard Kahle , Giovanni Sommaruga
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

Format(s) : 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
Reinhard Kahle , Klaus Mainzer
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
Format(s) : 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
Reinhard Kahle , Michael Rathjen
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

Format(s) : PDF
116,04 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Advances in Proof Theory
Reinhard Kahle , Thomas Strahm , Thomas Studer
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
Format(s) : ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Gentzen's Centenary
Reinhard Kahle , Michael Rathjen
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

Format(s) : PDF, ePub
158,24 €
Téléchargement immédiat
Dès validation de votre commande