Multicore | v0.2.0Sep 25th 2020 | (+16/-9) | ||

Multicore | v0.1.0Sep 25th 2020 | (-176) | ||

ScottL | v0.0.0Aug 23rd 2015 | (+672) base version |

~~Math~~**Logic and logicMathematics** are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.

Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.

- Proofs, Implications, and Models
- Logical Pinpointing
- Standard and Nonstandard Numbers
- Gödel's Completeness and Incompleteness Theorems
- Second-Order Logic: The Controversy

- Valid argument - An argument is valid when it contains no logical fallacies
- Sound argument - an argument that is valid and whose premises are all true. In other words, the premises are true and the conclusion necessarily follows from them, making the conclusion true as well.