## A profile of mathematical logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Historical background of mathematical logic 1 Introduction | 1 |

Mathematics before Aristotle | 2 |

Argumentation before Aristotle | 8 |

Copyright | |

28 other sections not shown

### Other editions - View all

### Common terms and phrases

analogous angles argument form Aristotle assumption axioms called Cantor cardinal number Church's thesis computing concept conclusion Consider the following consistent contains corresponding decision procedure defined definition denumerable domain of discourse elements equal equivalent Euclid Euclidean geometry example exists expression F F F F T F fifth postulate finite formal axiomatic method formal system given Godel number Hence incompleteness theorem inconsistent infinite number initial formulas invalid Juliet limitative theorems logicians mathematical logic means metalanguage metamathematical natural numbers non-Euclidean geometry object language paradox philosophical Plato possible predicate calculus premiss primitive recursive arithmetic priori problem proof propositional calculus propositional constants propositional variables provable provable-in-j prove quantifier question rational numbers real numbers recursive functions represented Saccheri sentence sequence set theory Skolem Socrates someone statement straight line Suppose syllogism symbols syntactical tautology tion transfinite transformation rules translated triangle truth functions truth table undecidable unsolvable