PHILOSOPHY OF MATHEMATICS AND COMPUTER SCIENCE

• Authors: Trzesicki Kazimierz
• Languages of publication: EN

Abstracts

EN

It is well known fact that the foundation of modern computer science were laid by logicians. Logic is at the heart of computing. The development of contemporary logic and the problems of the foundations of mathematics were in close mutual interaction. We may ask why the concepts and theories developed out of philosophical motives before computers were even invented, prove so useful in the practice of computing. Three main programmes together with the constructivist approach are discussed and the impact on computer science is considered.

Keywords

EN

COMPUTER SCIENCE; FORMALISM; LOGICISM; MATHEMATICS

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Bialystok University Press
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2010
• Issue: 22(35)
• Pages: 47-80
• Document type: ARTICLE

Contributors

author

Trzesicki Kazimierz

• Kazimierz Trzesicki, University in Bialystok, Chair of Logic, Informatics and Philosophy of Science, Stanislaw Staszic College of Public Administration in Bialystok, Poland

Identifiers

CEJSH db identifier

11PLAAAA101624