Birinci mertebeden formül kümelerinin bağımsızlığı üzerine
Yükleniyor...
Tarih
2012
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Ege Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Bu tezde, birinci mertebeden yapıların sintaks ve semantiği incelenerek matematiksel yapılardaki formüllerin bağımsızlığı üzerine bazı sonuçlara ulaşılmıştır. Aynı zamanda bu çalışma esnasında günümüze uygun gösterim ve anlayışla, sade ve farklı kardinaliteleri devreye sokmadan bağımsızlık konusunu açıklığa kavuşturma amacı güdülmüştür. Özellikle tezin dördüncü ve beşinci bölümlerinde ele alınan özgün çalışmalarla, önermeler lojiğinin sayılabilir formül kümelerinin bağımsızlığı ve genel olarak birinci mertebedeki formüllerin bağımsızlıkları üzerine ortaya konan sonuçlarla tezin ana gövdesi oluşturulmuştur.
Açıklama
Anahtar Kelimeler
Sayılabilirlik, bağımsızlık, tutarlılık, formüllerin aksiyomatize edilebilirliği, formüllerin bağımsızlığı., Denumerability, independency, consistincy, axiomatization of the formulas, independency of the formulas., Matematik A.B.D.
