Matematik

Bir büyüklüğün yokluğunu gösteren, işlem yapılabilen matematiksel sayıdır. İLE Hiçliği anlatan felsefi kavramdır; sayı değildir. İlki sayı olarak işlenir, ikincisi kavramsaldır.

Bant üzerinde adım adım işlem yapan, mekanik hesaplama modelidir. İLE İşlevleri, işlev uygulama ve soyutlamayla tanımlayan hesaplama modelidir. İkisi eşdeğer güçtedir; biri makine, öteki işlev temellidir.

Bir tümcenin doğruluğunu, betimlediği durumun gerçekleşmesine bağlayan biçimsel ölçüttür ('Kar beyazdır' doğrudur ancak ve ancak kar beyazsa). İLE Doğruluğu, günlük sezgiyle ve biçimsel kısıt olmadan ele alan anlayıştır. İlki çelişkiyi önleyen biçimsel şema, ikincisi paradoksa açık sezgisel kavramdır.

Sıfırdan küçük, eksi işaretli sayılardır. İLE Sıfırdan büyük, artı işaretli sayılardır. İkisi sıfırın iki yanında, zıt yönlerde yer alır.

Tek 2n+1, çift 2n formunda

On tabanına dayanan sayı sistemidir. İLE Bir rakamın değerinin, bulunduğu basamağa göre değiştiği gösterim ilkesidir. İkincisi, ondalık sistemin dayandığı genel ilkedir.

İki üzeri iki üzeri n artı bir biçimindeki sayıdır. İLE İki üzeri asal eksi bir biçimindeki sayıdır. İkisi de özel biçimli sayılardır; üsleri farklı kuruludur.

Bir makinenin, davranışıyla insandan ayırt edilemezse zeki sayılacağını öne süren ölçüttür. İLE Kuralları izleyerek anlamadan yanıt üretmenin gerçek anlama olmadığını savunan düşünce deneyidir. İlki davranışı yeter sayar, ikincisi anlamanın davranıştan fazlası olduğunu öne sürer.

Matematiksel nesnelerin, zihinden bağımsız gerçek varlıklar olduğunu savunan görüştür. İLE Matematiksel nesnelerin yalnızca ad, insan kurgusu olduğunu savunan görüştür. İlki bağımsız varlık atar, ikincisi yalnızca ad sayar.

Sentez birleştirme ve inşa etme İLE analiz parçalara ayırma ve çözümlemedir. Sentez yeni bilgi üretir İLE analiz mevcut bilgiyi açıklar. Sentez öncüllerden sonuca İLE analiz sonuçtan öncüllere gider.

Aksiyom ve kurallarla kesin tanımlı, simgesel sistemdir. İLE Günlük konuşma diliyle yürüyen, esnek ama belirsiz akıl yürütmedir. İlki kesin ve simgesel, ikincisi esnek ve belirsizdir.

Uçan okun her anda hareketsiz göründüğü, dolayısıyla hiç hareket etmediğini öne süren paradokstur. İLE Zamanın bölünemez anlardan oluştuğu varsayımıdır. İlki bu varsayıma dayanır; hareketin, hareketsiz anların toplamı olamayacağını sorgular.

Başka türlü olması olanaksız olan, kaçınılmaz durumdur. İLE Birden çok sonucun mümkün olduğu, belirsizlik durumudur. İlki tek sonuçlu ve zorunlu, ikincisi çok sonuçlu ve olasıdır.

Bir önermenin ya kendisinin ya değilinin doğru olduğunu, üçüncü olasılık bulunmadığını söyleyen ilkedir. İLE Doğru ile yanlış arasında ara değerlere izin veren mantıktır. İlki üçüncü şıkkı yadsır, ikincisi ara değere yer açar.

Bir hedefe varmak için önce yarısına, onun yarısına... sonsuz adım gerektiğini öne süren paradokstur. İLE Bir uzunluğun sonsuz kez bölünebileceği varsayımıdır. İlki, ikinciye dayanarak hareketin hiç başlayamayacağını öne sürer.

İkiye tam bölünür. İLE/||/ Bölünmez.

Özel kurallar gerektiren, sıfırla yapılan işlemlerdir (sıfıra bölme tanımsızdır). İLE Olağan kurallarla yürüyen, sıfır dışı sayılarla işlemlerdir. İlki özel durumlar içerir, ikincisi olağan kurallıdır.

Pozitif sıfırdan büyük İLE negatif sıfırdan küçüktür

Bir kümenin öğe miktarını, ne kadar çokluğunu belirten sayıdır. İLE Bir öğenin sıradaki yerini, kaçıncılığını belirten sayıdır. İlki miktarı, ikincisi sırayı verir.

İki sayıyı da tam bölen en büyük sayıdır. İLE İki sayının da katı olan en küçük sayıdır. İlki ortak bölenlerin en büyüğü, ikincisi ortak katların en küçüğüdür.