Mantık-matematik ilişkisi üzerine

Mantık ve matematik, başlangıçlarından beri birbirlerine hep yakın durmuş ve çeşitli şekillerde ilişki içinde olmuşlardır. Tarihsel olarak bakıldığında, genel olarak, aralarındaki ilişkinin özellikle birinde yaşanan bir sorunun diğerinin yardımıyla aşılmaya çalışılması durumunda kendini gösterdiği görülür. Bu yazıda, başlıca üç döneme odaklanılarak mantık-matematik ilişkisinin nasıl ortaya çıktığı aydınlatılmakta; dahası, bu ilişkinin genelde mantığın gelişimine büyük bir katkı sağladığı netleştirilmektedir.

Mantık ,

Matematik ,

İspat ,

Aksiyomatik/Dedüktif Yöntem ,

Matematiksel/ Mantıksal Doğruluk ,

Matematiksel Mantık ,

Matematiğin Mantıksal Temelleri ,

Since their beginnings logic and mathematics have been very close to each other and there has been relationship between them in various kinds. It is seen historically that their relationships appear especially in cases in which one of them tries to help in solving problems the other has. In this paper, by focusing on basically three such cases, it is illuminated how the relationship between logic and mathematics occurs; what is more, it is clarified that their relationship makes, in general, great contributions to progress of logic.

Logic, ,

Mathematics, ,

Proof, ,

Axiomatic/Deductive Method, ,

Mathematical/Logical Truth, ,

Mathematical Logic, ,

Logical Foundations of Mathematics ,