MANTIĞIN ZAMAN TÜNELİ

Mantık tarihi ondokuzuncu yüzyılın ikinci yarısından bu yana matematiğin temelleriyle ilgili soruların yanıtlanmasına sahne olmuştur. Bugün tarihsel gelişiminin bir sonucu olarak mantık bilgisayar kullanımı aracılığıyla yaşam ile etkileşmektedir. Bu yazıda söz konusu etkileşimin geleceğine ilişkin bilgisel ufukların geçmişte hangi soruları yanıtlamak amacıyla belirlendiği çok kısaca özetlenmektedir.

Anahtar Kelimeler:

Mantık, matematik, bilgisayar, yaşam.

THE TİME TUNNEL OF LOGİC

History of logic has been a stage for giving answers to questions concerning the foundations of mathematics since the second half of the nineteenth century. As a result of its historical development, today, logic is interacting with life by way of computer use. In this paper, it is surveyed very shortly, how epistemic horizons concerning the future of the interaction in question were determined in the past.

Keywords:

Logic, mathematics, computer, life.,

PDF

___

Gleick, J. 2011, The Information: A History, a Theory, a Flood, Pantheon Books.
Grattan-Guinness, I. 2000, The Search for Mathematical Roots 1870-1940, Princeton University Press.
Majer, O. et al., 2009, Games: Unifying Logic, language and Philosophy, Springer.
Nagel, E. & J. Newman, 2008, Gödel Kanıtlaması, Boğaziçi Üniversitesi Yayınevi.
Turing, A. 1950, “Computing machinery and intelligence”, Mind, cilt 59, ss. 433-460.
Von Neumann, J. & O. Morgenstern, 1944, Theory of Games and Economic Behavior, Sixtieth-Anniversary Edition, Princeton University Press.
Whitehead, Alfred, N., and Bertrand Russell, 1910-13, Principia Mathematica (2 cilt), Cambridge University Press.
Wittgenstein, L. 1921, Tractatus Logico-Philosophicus, Yapı ve Kredi Yayınları.
Wittgenstein, Ludwig, 1953, Philosophical Investigations, Blackwell.

ISSN: 1301-0875
Yayın Aralığı: Yılda 2 Sayı
Başlangıç: 1990
Yayıncı: TUFED Adına Prof. Dr. Murtaza KORLAELÇİ

Arşiv