Metamathematics is a field of study that deals with the structure and formal properties of mathematics and similar formal systems. It also concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems. An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system.
More Post
Latest Post
-
Cathodic Protection – a technique for controlling corrosion
-
Electromagnetism – a discipline of physics
-
Astronomers Measure the Heaviest Black Hole Pair ever Discovered
-
Even Passive Smokers are Extensively Colonized by Microbes
-
Webb discovers Proof that a Neutron Star powers the Young Supernova Remnant
-
Flyback Transformer (FBT)