Michael Rathjen – författare
Visar alla böcker från författaren Michael Rathjen. Handla med fri frakt och snabb leverans.
12 produkter
Handbook of Constructive Mathematics
Av Douglas Bridges, Hajime Ishihara m. fl.
Inbunden, 2023
2589 kr
Lägg i varukorg
Constructive mathematics - mathematics in which 'there exists' always means 'we can construct' - is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have …
Pillars of Enduring Strength
Learning from Hermann Weyl
Av Laura Crosilla, Øystein Linnebo m. fl.
Inbunden, 2026
1305 kr
Kommande
Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosophical insights on the foundation of mathematics remain largely overlooked.Pillars of Enduring …
Pillars of Enduring Strength
Learning from Hermann Weyl
Av Michael Rathjen, oystein Linnebo m. fl.
E-bok, 2026
1825 kr
Kommande
Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosophical insights on the foundation of mathematics remain largely overlooked. Pillars of Enduring …
Pillars of Enduring Strength
Learning from Hermann Weyl
Av Michael Rathjen, oystein Linnebo m. fl.
E-bok, 2026
1825 kr
Kommande
Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosophical insights on the foundation of mathematics remain largely overlooked. Pillars of Enduring …
Handbook of Constructive Mathematics
Av Helmut Schwichtenberg, Michael Rathjen m. fl.
E-bok, 2023
2575 kr
Lägg i varukorg
Legacy of Kurt Schütte
Av Reinhard Kahle, Michael Rathjen
Inbunden, 2020
1316 kr
Lägg i varukorg
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 investigation by mathematical methods …
Legacy of Kurt Schutte
Av Michael Rathjen, Reinhard Kahle
E-bok, 2020
1746 kr
Lägg i varukorg
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 investigation by mathematical methods …
Legacy of Kurt Schütte
Av Reinhard Kahle, Michael Rathjen
Häftad, 2021
1316 kr
Lägg i varukorg
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 investigation by mathematical methods …
Gentzen's Centenary
The Quest for Consistency
Av Reinhard Kahle, Michael Rathjen
Häftad, 2015
1752 kr
Lägg i varukorg
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 philosophical reflections and …
Gentzen's Centenary
The Quest for Consistency
Av Michael Rathjen, Reinhard Kahle
E-bok, 2015
2274 kr
Lägg i varukorg
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 philosophical reflections and …
Konzepte für eine effiziente Organisation der staatlichen Tätigkeit
Mit Beispielen des Landes Bremen
Häftad, 2001
870 kr
Lägg i varukorg
MATHEMATICS FOR COMPUTATION (M4C)
Av Benini Marco, Marco Benini m. fl.
Inbunden, 2023
2122 kr
Lägg i varukorg
The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and …
