𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal logic and mathematics

✍ Scribed by Arend Heyting

Publisher
Springer Netherlands
Year
1947
Tongue
English
Weight
569 KB
Volume
6
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Interpreting formal logic
Interpreting formal logic
✍ Jaroslav Peregrin πŸ“‚ Article πŸ“… 1994 πŸ› Springer 🌐 English βš– 916 KB
Argumentation and formal logic in philos
Argumentation and formal logic in philosophy
πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 669 KB

Philosophers do not usually regard their arguments as informal. Yet despite the a priori appearance of many philosophical arguments, it is dangerous to formalize them. Formalization shifts the issue from what the argument attempts to establish or refute to its premises. I illustrate this danger in t

Formalizing mathematics in higher-order
Formalizing mathematics in higher-order logic: A case study in geometric modelling
✍ FranΓ§ois Puitg; Jean-FranΓ§ois Dufourd πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 421 KB

An innovative attempt to develop formal techniques of speciΓΏcation, proof, and program extraction in geometric modelling is reported through the axiomatization of the mathematical model of the combinatorial maps in the calculus of inductive constructions (CIC), a variety of type theory well suited f