Proofs

• This is off the topic of cognitive maps.
• Proofs are a really great way to show something.
• Proofs tend to focus on a particular mathematical system.
• These systems are by no means equivalent to truth, but instead are based on axioms.
• The axioms are assumed true.
• The proof follows from the axioms.
• Assuming the axioms are true, the proven facts are true.
• An example of a proof is my proof that the capacity of the brain is O(n) where n is the number of neurons.
• Other proofs that are relevant involve NP-Completeness,
• and computability.