Article ID: CBB001211747

Federigo Enriques's Quest to Prove the “Completeness Theorem” (2011)

unapi

Babbitt, Donald (Author)
Goodstein, Judith R. (Author)


Notices of the American Mathematical Society
Volume: 58, no. 2
Issue: 2
Pages: 240-249


Publication Date: 2011
Edition Details: Part of a special issue on the history of algebra
Language: English

The golden age of the Italian school of algebraic geometry began with Antonio Luigi Gaudenzio Giuseppe Cremona and included among its main contributors Enrico Castelnuovo, Federigo Enriques, and Francesco Severi. The Italian school spanned nearly a century, from the uni cation of Italy in 1861 to Enriques's posthumously published postWorld War II monograph on algebraic surfaces [Enrq 49]. In the 1890s Enriques, a mathematician who once quipped that intuition is the aristocratic way of discovery, rigour the plebian way [Hodge 48], and his colleague and future brother-in-law Castelnuovo began their monumental work on the birational theory of algebraic surfaces over the complex numbers C. 1 Severi joined them in this e ort a few years later.

...More
Included in

Article Brent, Richard P.; Zimmermann, Paul (2011) The Great Trinomial Hunt. Notices of the American Mathematical Society (pp. 233-239). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB001211747/

Similar Citations

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos (/isis/citation/CBB001210991/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History (/isis/citation/CBB001214119/)

Thesis La Nave, Federica; (2005)
Belief Without Proof from Ancient Geometry to Renaissance Algebra (/isis/citation/CBB001560809/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees (/isis/citation/CBB001214122/)

Book John P. Burgess; (2015)
Rigor and Structure (/isis/citation/CBB621282384/)

Article Eder, Günther; (2013)
Remarks on Independence Proofs and Indirect Reference (/isis/citation/CBB001212142/)

Article Smadja, Ivahn; (2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams (/isis/citation/CBB001211483/)

Article Heukelom, Floris; (2015)
A History of the Allais Paradox (/isis/citation/CBB001202248/)

Article Nastasi, Tina; (2008)
La storia del pensiero scientifico e il suo significato nell'opera di Federigo Enriques (/isis/citation/CBB001024085/)

Article Mumford, David; (2011)
Intuition and Rigor and Enriques's Quest (/isis/citation/CBB001211748/)

Chapter Chemla, Karine; (2012)
Reading Proofs in Chinese Commentaries: Algebraic Proofs in an Algorithmic Context (/isis/citation/CBB001320151/)

Article Centrone, Stefania; (2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre (/isis/citation/CBB001210996/)

Article Bellissima, Fabio; (2002)
Il sistema assiomatico-deduttivo degli Elementi armonici di Aristosseno (/isis/citation/CBB000411050/)

Book Yrjönsuuri, Mikko; (2001)
Medieval Formal Logic: Obligations, Insolubles and Consequences (/isis/citation/CBB000102010/)

Article Marwan Rashed; (2020)
Abū Hāšim Al-Ǧubbāʾī, algèbre et inférence (/isis/citation/CBB164105590/)

Chapter Knuutila, Simo; Kukkonen, Taneli; (2011)
Thought Experiments and Indirect Proofs in Averroes, Aquinas, and Buridan (/isis/citation/CBB001321020/)

Chapter Aberdein, Andrew; Read, Stephen; (2009)
The Philosophy of Alternative Logics (/isis/citation/CBB001210355/)

Authors & Contributors
Chemla, Karine Carole
Centrone, Stefania
Yrjönsuuri, Mikko
Smadja, Ivahn
Reada, Stephen
Rashed, Marwan
Concepts
Proof
Logic
Mathematics
Philosophy
Algebra
Geometry
Time Periods
19th century
Medieval
20th century, early
Ancient
20th century, late
20th century
Places
Italy
Greece
China
Europe
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment