<--- Back to Details
First PageDocument Content
Formal systems / Euclidean geometry / Metric geometry / Projective geometry / Euclid / Synthetic geometry / Mathematical proof / Axiomatic system / Inversive geometry / Mathematics / Logic / Geometry
Date: 2010-01-14 11:33:53
Formal systems
Euclidean geometry
Metric geometry
Projective geometry
Euclid
Synthetic geometry
Mathematical proof
Axiomatic system
Inversive geometry
Mathematics
Logic
Geometry

Add to Reading List

Source URL: www.ams.org

Download Document from Source Website

File Size: 623,28 KB

Share Document on Facebook

Similar Documents

Upgrading the axiomatic system to n-dimensional space Milica Stojanovi´c University of Belgrade, Faculty of Organizational Sciences, Belgrade, SERBIA []

DocID: 1nSWZ - View Document

Philosophers of mathematics / Formal systems / Giuseppe Peano / Peano axioms / Richard Dedekind / Henri Poincaré / Axiomatic system / Axiom / Philosophy of mathematics / Mathematics / Mathematical logic / Number theorists

VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya.

DocID: 1aARg - View Document

Formal systems / Metalogic / Formal methods / Function / Axiom / Lisp / Mathematical proof / Axiomatic system / Mathematics / Logic / Mathematical logic

Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification –

DocID: 183ed - View Document

Formal systems / Concepts / Mathematical logic / Axiomatic system / Axiom / Mathematical proof / Complexity / Theory / Economic model / Mathematics / Logic / Structure

PDF Document

DocID: 17n6D - View Document

Philosophy of mathematics / Formal systems / Elementary mathematics / Mathematical beauty / Mathematical proof / Theorem / Mathematician / Axiomatic system / Axiom / Mathematics / Logic / Mathematical logic

1 The Phenomenology of Mathematical Beauty Gian-Carlo Rota Whereas painters and musicians are likely to be embarrassed by references

DocID: 14z65 - View Document