MANTIĞIN ZAMAN TÜNELİ

Year 2011, Issue: 54, 117 - 122, 15.12.2011

Rasim Karakadılar

Abstract

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.

Keywords

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

THE TİME TUNNEL OF LOGİC

Abstract

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.

References

• 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.