Pembuktian matematis tentang keberadaan tuhan
Kurt Godel (1906-1978 ) pakar matematika kelahiran Austria pernah menulis
Axiom 1. (Dichotomy) A property is positive if and only if its negation is negative.
Axiom 2. (Closure) A property is positive if it necessarily contains a positive property.
Theorem 1. A positive property is logically consistent (i.e., possibly it has some instance).
Definition. Something is Godlike if and only if it possesses all positive properties.
Axiom 3. Being Godlike is a positive property.
Axiom 4. Being a positive property is (logical, hence) necessary.
Definition. A property P is the essence of x if and only if x has P and P is necessarily minimal.
Theorem 2. If x is Godlike, then being Godlike is the essence of x.
Definition. NE(x): x necessarily exists if it has an essential property.
Axiom 5. Being NE is Godlike.
Theorem 3. Necessarily there is some x such that x is Godlike.
Anda mengerti apa yang dikatakan om Godel? kalo saya enggak soalnya saya gak bisa bahasa inggris, menurut saya Tuhan itu adalah aksioma, adalah titik awal dari segela awal bukan theorema yang harus kita cari pembuktiannya
Jujur, aku sama sekali gak ngerti ma bahasa matematika kayak di atas. Blazzzz…..,gak mudeng. :8