Matematik

Pyknotic objects genel topolojik nesne kategorisiyken İLE profinite objects sadece profinite topolojik grup kategorisidir

Six functor formalism kohomoloji kuramlarınin sistematik yaklaşımıyken İLE classical sheaf theory temel sheaf işlemlerini inceler

Ito sol nokta, Stratonovich orta nokta.

Intersection theory cebirsel çeşitlerin kesişim çarpımını incelerken İLE Chern class theory vektör bundle karakteristik sınıflarını inceler

SDE gürültü terimi, ODE deterministik.

Motivic integration cebirsel geometride measure kuramıyken İLE p-adic integration p-adik analiz measure kuramıdir

Ergodic zaman ortalaması uzay ortalaması İLE stationary dağılım değişmez.

Berkovich space non-archimedean analitik geometriyken İLE formal scheme formsal tamamlanma geometrisidir

Anabelian geometry cebirsel eğrileri Galois grubuyla yeniden inşa ederken İLE classical Galois theory alan genişlemelerini inceler

TQFT topolojik invariant quantum field theoriyken, CFT konformal invariant field theorisidir

ML parametreyi maksimize, Bayesian posterior kullan.

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

Frequentist uzun dönem frekans İLE Bayesian subjektif inanç.

Testing H₀ vs H₁ karar, interval parametre aralığı.

Descriptive set theory Borel ve analytic kümeleri incelerken İLE classical set theory genel küme aksiyomlarını inceler

Type I α doğru H₀ reddi, Type II β yanlış H₀ kabulü.

Forcing küme kuramı tutarlılık ispatı tekniğiyken İLE classical logic standart mantıksal çıkarım sistemidir

P-value gözlenen data olasılığı, significance α eşik.

Reverse mathematics aksiyom gücü analizi yaparken İLE forward mathematics aksiyomlardan teorem ispatı yapar

ANOVA grup ortalama karşılaştırma İLE regression ilişki modelleme.