Skip to content

4 cards

Definition.com

A Consistency proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠demanded like a lullaby — an order that appeases us now; are we small children to be lulled asleep?

Definition.com

A Consistency proof (n.) assures ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠only the temporal correctness of a calculus, never that people won't one day see our calculus as we see others' counting.

Definition.com

A Consistency proof (n.) cannot ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠lift the fog: if unclear about mathematics no proof helps, and if clear the question cannot arise.

Definition.com

A Consistency proof (n.) gets ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠much fuss from mathematicians, yet a contradiction in the axioms would be easy to remove.