Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
306 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  | 306 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.

19,731 soru
21,419 cevap
71,971 yorum
306,186 kullanıcı