Around Goedel's theorem
ADD. KEYWORDS: Textbook, Platonism, intuition and the
nature of mathematics, Axiomatic set theory, First order arithmetic, Hilbert's
Tenth problem, Incompleteness theorems, Around Goedel's theorem, About model
theory
Introduction
to Logic for Liberal Arts and Business Majors
ADD. KEYWORDS: Tutorial, Proposition, Truth Value, Logical
Equivalence, Tautologies and Contradictions, Conditional and the Biconditional,
Rules of Inference, Arguments and Proofs, Propositional Calculus
A Problem
Course in Mathematical Logic
ADD. KEYWORDS: Text, Language, Truth Assignments, Deductions,
Soundness and Completeness, First-Order Logic, Structures and Models, Deductions,
Soundness and Completeness, Applications of Compactness, Turing Machines,
Variations and Simulations, Universal Turing Machines and the Halting Problem,
Computable and Non-Computable Functions, Primitive Recursive Functions, Recursive
Functions, Incompleteness, Preliminaries, Coding First-Order Logic, Defining
Recursive Functions In Arithmetic, The Incompleteness Theorem
SOURCE: Stefan Bilaniuk, Trent University
TECHNOLOGY: Adobe Acrobat, Postscript and DVI readers
Set Theory and Foundations
ADD. KEYWORDS: Collection of articles, Representing Sets
of Pure Order, Zeno's Paradox of Motion, Computation is Exclusive, What is
Fuzzy Logic?, Continuous Turing Machines, Fractal Logic, Implicit Means, Infinite
Descent versus Induction, Zeno's Fifth Paradox, etc.
