AXIOMATIC SYSTEM by TELEKINETT / MAURICIO REYES
An axiom is a basic statement assumed to be true and requires no proof of its truthfulness. It is a fundamental underpinning for a set of logical statements. Not everything counts as an axiom. It must be simple, make a useful statement about an undefined term, evidently true with a minimum of thought, and contribute to an axiomatic system.
In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge that usually contains an axiomatic system and all its derived theorems.
An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within the model theory) that describes a set of sentences that is closed under logical implication.
A formal proof is a complete rendition of a mathematical proof within a formal system.
Source: Wikipedia
Tracklist
| 1. | MODULAR PARADOX | 30:00 |
| 2. | META THEOREM | 30:04 |
Credits
Composed, performed, produced, and performed by Cycom
Graphic Design: Cycom
License
All rights reserved.Tags
Mauricio Reyes is a futurist, composer and audio researcher focused on experimental, electronic, and electroacoustic practices.
Founder of Telekinett Records (2004–2008), a label dedicated to atonal and exploratory sound, he investigates signal behavior, noise systems, and spatial perception through granular synthesis, tape manipulation, spectral analysis, and circuit experimentation.