Axiomatic (ISBN 0-7528-1650-0) is a 1995 collection of short science fiction stories by Greg Egan. The stories all delve into different aspects of self...
8 KB (922 words) - 21:49, 22 October 2024
up axiomatic in Wiktionary, the free dictionary. In mathematics, an axiomatic theory is one based on axioms. Axiomatic may also refer to: Axiomatic (book)...
456 bytes (84 words) - 00:05, 29 April 2024
In mathematics and logic, an axiomatic system is any set of primitive notions and axioms to logically derive theorems. A theory is a consistent,...
14 KB (1,936 words) - 20:44, 9 February 2024
Set theory (redirect from Axiomatic Set Theory)
Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel...
42 KB (5,066 words) - 19:14, 5 November 2024
Thermodynamics (redirect from Axiomatics of thermodynamics)
Constantin Carathéodory presented a purely mathematical approach in an axiomatic formulation, a description often referred to as geometrical thermodynamics...
47 KB (5,789 words) - 14:42, 28 October 2024
named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate...
46 KB (6,250 words) - 23:14, 6 November 2024
Naive set theory (section Axiomatic theories)
sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are defined using formal logic, naive set theory is...
34 KB (4,715 words) - 11:25, 21 September 2024
Hilbert system (redirect from Hilbert type axiomatic system)
if the only inference rule is modus ponens. Every Hilbert system is an axiomatic system, which is used by many authors as a sole less specific term to...
28 KB (3,623 words) - 00:56, 2 November 2024
mathematical theories about mathematics; meta-axiomatics or meta-axiomaticity: axioms about axiomatic systems; metahumor: joking about the ways humor...
12 KB (1,834 words) - 07:48, 9 November 2024
Axiomatic design is a systems design methodology using matrix methods to systematically analyze the transformation of customer needs into functional requirements...
4 KB (536 words) - 14:09, 21 January 2021