Matematik

Pay üstteki İLE payda alttaki sayıdır

Basit pay

Ondalık virgüllü, adi kesir çizgili gösterimdir

Devirli tekrar eder, devirsiz sonlanır

Mutlak uzaklık, sayı değeri kendisidir

Modüler kalanla, normal tam değerle çalışır

Çin Kalan Teoremi eşzamanlı kongrüansları çözer İLE modüler aritmetik kalanlı işlemleri kullanır.

Mümkün dünyalar mantıksal olasılıklar İLE gerçek dünya fiili durumdur. Kripke semantiği mümkün dünyalar çerçevesinde İLE modal mantık ifadelerini değerlendirir. Zorunluluk tüm mümkün dünyalarda doğruluk.

Sözdizim biçimsel yapı kuralları İLE anlambilim anlamsal yorumlama kurallarıdır. Sözdizim simgelerin dizilişi İLE anlambilim simgelerin anlamıdır. Programlama dillerinde sözdizim derleme İLE anlambilim çalıştırma aşamasında önemli.

Berry paradoksu "on iki sözcükten az ile tanımlanamayan en küçük sayı" İLE tanımlama paradoksu dil ve meta-dil karışımıdır. Berry paradoksu kendini tanımlarken çelişki yaratır İLE doğal dilin mantıksal sınırlarını gösterir.

Uygunluk kuramı doğruluk gerçeğe uygunluk İLE tutarlılık kuramı doğruluk iç tutarlılıktır. Uygunluk dış dünya ile uyum İLE tutarlılık sistem içi uyumdur. Uygunluk klasik İLE tutarlılık tutumlu yaklaşımdır.

Asal sayılar sadece 1 ve kendisine bölünür İLE bileşik sayılar başka bölenleri vardır

Permütasyon sıralı İLE kombinasyon sırasız seçim

Tümevarım özelden genele İLE tümdengelim genelden özele

Basit sadece anapara, bileşik faizin faizi

Ondalık 10 tabanlı, ikili 2 tabanlı

Noncommutative geometry cebirsel yaklaşımla geometri yaparken İLE spectral geometry operatör spektrumu ile geometri yapar

Differential Galois theory diferansiyel denklem çözümlerinin Galois kuramıyken İLE classical Galois theory polinom denklem çözümlerinin kuramıdir

Quantum computing theory kubit ve kuantum algoritmaları incelerken İLE classical computing theory bit ve klasik algoritmaları inceler

Biostatistics biyolojik veriler için özel istatistik yöntemleri geliştirirken İLE medical statistics klinik veriler için standart istatistik uygular