Influences of Frege’s Predicate Logic on Some Computational Models
The purpose of this paper is to give some insights into the immense role of Frege’s first order logic (FOL) in the development of computer science. We argue that the FOL is fundamental in computer science, and that some computer science subfields could not have existed without their theoretical foun...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
International Society of Philosophy and Cosmology
2018-04-01
|
| Series: | Future Human Image |
| Subjects: | |
| Online Access: | http://www.fhijournal.org/wp-content/uploads/2018/04/Awwad_9.pdf |