Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
398 kez görüntülendi

Bu dipnot Ali Nesin'in Sayıların İnşası ders notlarında geçmekte. Peki nedeni nedir?

Akademik Matematik kategorisinde (287 puan) tarafından  | 398 kez görüntülendi
matematikte bu first order ve second order logic ayrımını ifade eder. Örneğin topolojinin aksiyomları altküme ilişkilerine sahip olduğu için second order ifadelerdir ancak grup, halka, cisim aksiyomları first order dır. Bu aksiyomların kümesi grupların, halkaların cisimlerin teorisini oluşturur. Matematiği bu şekilde ele almakta model teori denen koca bir alanı meydana getiriyor ( aslında second order ifadeler üzerinde de model theory yapılıyor bildiğim kadarıyla(?)) . Mesele Gödel Completeness teorimi second order logic de olmuyor.

Teşekkürler.

20,200 soru
21,728 cevap
73,275 yorum
1,887,984 kullanıcı