Tersine matematik
Tersine matematik, belirli bir teoremi ispatlamak için gerekli olan en az sayıdaki aksiyomların belirlenmesiyle ilgili
matematik dalıdır. Çoğunlukla taban (kurucu) aksiyomları zayıf olan matematiksel kuramlarda ortaya atılan birçok teoremin teoremi tanıtlamak için gerekli olan (ve taban aksiyomlara eklenen) ek aksiyoma denk olduğu ortaya çıkmaktadır.
Tersine matematik teoremleri, modern matematiğin mantıksal yapısının dayandığı ikinci dereceden aritmetiğin (Z
2) alt dallarına göre sınıflandırarak hangi teoremin hangi Z
2 alt dalında tanıtlanabileceğini inceler.
Konusu nedeniyle
tersine matematik matematiğin temelleri ve
matematiğin felsefesi dallarıyla yakından ilgilidir.
Bu dalın başlıca kurucuları arasında
Harvey Friedman ve
Stephen G. Simpson sayılır.
Dış bağlantı
[http://www.math.psu.edu/simpson/sosoa/ Tersine matematiğe ilişkin ayrıntılı bilgi] (İngilizce)
İlgili Olabilecek Başlıklar:
