Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CIE
2005
Springer

favoriteEmaildiscussreport

97views Applied Computing» more CIE 2005»

A Logical Approach to Abstract Algebra

13 years 10 months ago

A Logical Approach to Abstract Algebra

Download hlombardi.free.fr

L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in an essential way the ideas contained in the l arguments, we can transform a large number of abstract non eﬀective proofs of “concrete” statements into elementary proofs. Surprisingly the arguments we get are not only elementary but also mathematically clearer and not necessarily longer. We present an example where the simpliﬁcation was signiﬁcant enough to suggest an improved version of a classical theorem.

Thierry Coquand

Real-time Traffic

Abstract Algebra | ALGEBRA THIERRY COQUAND | CIE 2005 | Non Eﬀective Proofs |

claim paper

Related Content

» Strong and uniform equivalence of nonmonotonic theories an algebraic approach

» Algebraic Valuations as Behavioral Logical Matrices

» Categorical Abstract Algebraic Logic Algebraizable Institutions

» Learning in a Changing World an Algebraic Modal Logical Approach

» Four Approaches to Automated Reasoning with Differential Algebraic Structures

» Cut elimination and strong separation for substructural logics An algebraic approach

» Categorical Abstract Algebraic Logic Partially Ordered Algebraic Systems

» Program Abstraction in a HigherOrder Logic Framework

» An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CIE
Authors	Thierry Coquand

Comments (0)