Mathematical Logic in Computer Science
Logic in Computer Science
2018-02-12 v1
Authors:
Assaf Kfoury
Abstract
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
Cite
@article{arxiv.1802.03292,
title = {Mathematical Logic in Computer Science},
author = {Assaf Kfoury},
journal= {arXiv preprint arXiv:1802.03292},
year = {2018}
}
Related papers
View all related →
Logic · Mathematics
Logic in Mathematics and Computer Science
Richard Zach
2024-04-17
Other Quantitative Biology · Quantitative Biology
Computing in the Life Sciences: From Early Algorithms to Modern AI
Samuel A. Donkor, Matthew E. Walsh, Alexander J. Titus
2024-06-21
Logic in Computer Science · Computer Science
The prospects for mathematical logic in the twenty-first century
Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
2007-05-23
Other Quantitative Biology · Quantitative Biology
Mathematics, Biology, and Physics: Interactions and Interdependence
Michael C. Mackey, Moises Santillan
2007-05-23
Computers and Society · Computer Science
Logic Modelling
Roger Villemaire
2015-07-19
Digital Libraries · Computer Science
The rise and rise of interdisciplinary research: Understanding the interaction dynamics of three major fields -- Physics, Mathematics & Computer Science
Rima Hazra, Mayank Singh, Pawan Goyal, Bibhas Adhikari +1
2019-08-13
Computers and Society · Computer Science
Computer Science
Mahyuddin K. M. Nasution, Rahmat Hidayat, Rahmad Syah
2022-07-19
History and Overview · Mathematics
A new course `Algebra + Computer Science': What should be its outcomes and where it should start
Alexandre Borovik, Vladimir Kondratiev
2022-12-26
Neurons and Cognition · Quantitative Biology
AI for Mathematics: A Cognitive Science Perspective
Cedegao E. Zhang, Katherine M. Collins, Adrian Weller, Joshua B. Tenenbaum
2023-10-23
Artificial Intelligence · Computer Science
Automation of Mathematical Induction as part of the History of Logic
J Strother Moore, Claus-Peter Wirth
2017-08-04
Logic in Computer Science · Computer Science
Computational Logic: Its Origins and Applications
Lawrence C Paulson
2018-11-14
Computers and Society · Computer Science
Reflections on the Evolution of Computer Science Education
Sreekrishnan Venkateswaran
2022-08-10
History and Overview · Mathematics
On the diversity and similarity of mathematical models in science
Inge S. Helland
2022-05-25
Image and Video Processing · Electrical Eng. & Systems
A Note on Machine Learning Approach for Computational Imaging
Bin Dong
2022-02-25
Quantum Physics · Physics
Proceedings of the 15th International Conference on Quantum Physics and Logic
Peter Selinger, Giulio Chiribella
2019-01-29
Numerical Analysis · Mathematics
Machine Learning and Computational Mathematics
Weinan E
2020-12-30
Computation and Language · Computer Science
Introduction: Cognitive Issues in Natural Language Processing
Thierry Poibeau, Shravan Vasishth
2016-10-25
History and Overview · Mathematics
Mathematics in the Age of the Turing Machine
Thomas Hales
2013-02-13
Computers and Society · Computer Science
Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?
Johann Makowsky
2015-07-19
Logic in Computer Science · Computer Science
A survey of computability logic
Giorgi Japaridze
2016-12-15
History and Overview · Mathematics
What Mathematical Logic Says about the Foundations of Mathematics
Claudio Bernardi
2016-02-25
Logic in Computer Science · Computer Science
Computability Logic: a formal theory of interaction
Giorgi Japaridze
2011-04-15
History and Overview · Mathematics
Varieties of mathematical understanding
Jeremy Avigad
2023-11-01
Symbolic Computation · Computer Science
Symbolic Computation in Software Science: My Personal View
Bruno Buchberger
2021-09-08
Logic in Computer Science · Computer Science
Homogeneous length functions on Groups: Intertwined computer & human proofs
Siddhartha Gadgil
2019-04-11