<--- Back to Details
First PageDocument Content
Mathematical logic / Infinity / Formal systems / Philosophy of mathematics / Cardinal numbers / Axiomatic system / Finite set / Axiom / Set theory / Mathematics / Logic / Abstraction
Date: 2004-11-04 15:44:43
Mathematical logic
Infinity
Formal systems
Philosophy of mathematics
Cardinal numbers
Axiomatic system
Finite set
Axiom
Set theory
Mathematics
Logic
Abstraction

Add to Reading List

Source URL: www.ssrdm.ch

Download Document from Source Website

File Size: 263,34 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