Argumentul matematic al lui Kurt Gödel pentru existența lui Dumnezeu
photo from: https://en.ppt-online.org/340978
Kurt Gödel (1906-1978) este considerat cel mai mare matematician al secolului XX. El a elaborat teoremele de incompletitudine.
De asemenea, Gödel a formulat argumentul matematic pentru existența lui Dumnezeu folosind logica modală.
Argumentul în formă completă este următorul (Marks & Haug, 2021):
![Gödel Says God Exists and Proves It | Mind Matters](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAARAAAAC5CAMAAADXsJC1AAAAjVBMVEX////+/v4AAAD7+/v39/f09PTs7Ozx8fHg4ODr6+vOzs7k5OTo6Ojy8vLW1tbS0tKpqam3t7e+vr6GhobIyMhfX1/CwsJ/f3+ZmZlubm6ysrKlpaWoqKhTU1OPj49paWl6enpVVVUwMDCdnZ05OTlHR0cbGxsnJyeMjIw9PT0jIyNCQkIZGRkODg4LCwuHRHCuAAAgAElEQVR4nO0dB4ObOk+2WQGOvTlGSLisS///z/skGxKSu87XketXvdeWgA1YyLK2Af7BHwTG2Dsnf/97fB3Ym9d6++ps+kOX2PLke7eb7jE1nW/Gbg/VX5/DiOrL2LUf+3zj6b5sRrk6eA//3wj2+wi4eaJVAdM1TRN4KUkmBNXupeG1gzAIViZjQhd4Z+yiwAsvbbJEyGcG3rXf8iWEjj/sSJ2JbOoAzI4+NwAmNPlqgvmR7K1BYP04PnRu3Z5YZeWbNoMJIj2O610F7klTXwSsUVweK2acZGNflmV/whGmNOzeVY31QWcTabijkAhhq+E6keYPTH+FOC5jK4T80NrBBG1rMDHeveeVVEX3Mq6HGvvo9Hvjg7P9UQphUPH2liL2ze6eRPYBjZ9rEHGtjGhUcmx5NTfQ+IybUBFCg3/qBMDsphbx3JbB2p6P6uujTQsuCClXAH04X6pyRDPexl9fpi090buSJzO4ATY38X1kd0RL/Pxj+EDoygMOtoq8MJreKNjdNWEDTY7nAaA4Cm4KSPD/ACm0mUdWpZupbVjJQdEVY4zzNAJv49SGOJs4JB3sWjydBXavnVoHa4tt1ZwSqVCIrnxYryL2YjJsjD3BfcHTZw1JWSF9moNr/cqTKny1Z67tdGC1paVWAt7pR/Hhlgb3wOp5vc2mBzzfI8Tk9BLpKcgHyx2AeSUETbMB93X6SmINo7giBBRCoPPNk/DL4mXYmy+IoBTCU7q38A7hPh7OiEOOaIJNitBt1ybdbdPv3DZ6Xe0QaX17HGLQXg0GRwdg66tHBGtqP57c+XtBdwjinWcgWvq88Ypii520H0IHInds5ZxJj9q84LxBiHvEK+JTbfsMvANA6+kpWDGYn4S6SVJApcj1BiFR7fRITUVvGYgF2CSsAaO0R2AR5IWPyOAO3hj/QxYMDt8gKWRtH4Vah7QjMtHmHs6eAZnHDv+MicK+IBbEwDjv50lz3Ng+3gDpLew3z75ZgjjrP4QQAWnmxUf8N0c6AV3iBKeMAG2xABhnHLjFnyQnpc/gZBl+flidp5vgx9WnGb7gIcjsegtcZ52ZHhIW7H27gj5BlDLL3foOjpHTXCyIQtKyiTQa58GPV0FA/NZxmsTwQOyQFI7Y+KAQoigE21f6NIUcvA0xa3wGoriD2AbtBxGiPeMas+G115cVz2y54Ng9T0T+Kq6txOsTWCW36fn6WWP+p6Ef8HPiZ5TgI9uDVr1uGNtJkth0hcEeX7E58Si1kOview/9dk8TDY4jTxCLxougL04Lup46il12cReUoL3o0DQ8Sy2asAyQBREbogZCrbL4QSYmi/NdsmkNpxkMm/Vmj0Q9/NgqY1ahL6qoysLMCyszIixEYVRpjr0ULcsM7AqZLp0ZkZIc3tKiUMfyKoscJCxXkcYqeA6C4FkJDU4Cwiq8GLukiC/npaW1Yeswe+PHiPyovCwV7rQKMW1zoHWs8cBTPZNUoZ54j2wh2+n1pauPryZ/rJGc9D0uYkjl+Q/hQ2F88WuWRPGbiAWKPbWcyFMkpWQ4W3Emb82JZtm1542oRqyHyb/Bx2H5R/k77OUz8eTJuUq2M38mLoS/7A6mnimSQofUeV2IL++6eBL9beMzoPWp02D8GEK+DZAW6uvxPkEiooP2s7Lje1BUuFSrwzxRH6EO3mtoq7HMdw8LpKQ9iCT++msW+F4RLS9F+LXG/w1Q0LwcMslvJTv5vlvM3WhaqK+rv6+eTMQ1rZuaPESJ9euqoGwoieUbGv9c+NHHPaR6ew/f9ZJvNONv7riY8Y+NFnav/7+jFl3169uL4lu1bOLRk/Imbtj1I4J1i5CbtWI6xeYVwLdvzwefYQM391NEERhqSTKCB6cQjTu31hcn7e4UbTDH7fZwsmf9Gi7Ns26hhb87FzLsue1MCPO51aSTPiigVMCLeWIr4uBewI27RqT6hxy6ZF4nlJxyVeXx0EBqcQTcQ5yitJqLnZhNWah3PTRCynRENcD2HM+T1K3xjPHsrlExomBwFi/X8VoCbBQ+w/LSBskA9t5k+LsOeUARZldImcliEOGf9PbuDwZG56AG46Xn+jVgk+CZSK38CihIp1Hx4jmommRtURSt4/VQb18ymNQZ7FkMcR73L6tJ36gKAgMMXkRdI4oWtd0Q0obrUOx/+yi/A8J1xcm405CVUDET48W/M5JrvAgzHRKkE8f3fa+uYmeVgr2R1htswPRDrUtr6lZKn0x41K60IeNhiKTXb0A0EG2gdKB6Y6J8HEBCr6KetKZYarpyjqeObS+pHhULLpmpP5uh7CAVgQ+oijrKdsJElu7zHEkkXrKf1oZYqUF9Ae4aUtCRooL+dwztx0DLzgYEPLSK7vns+dzBc+Ou4e5+WODD6cnggArty3TK9cLdYXNAypqsiIi91bhy3Sq/kUxs19v1cvqRYbRsTjjvUJXZwMOCEbeR2Bf7532Q7PdGgfqDHu/3reZVi3E971uy2TK2U7yF7FsZz0mVL4qpDQoaSGKFfruAiLglDR558IgTMj+1ZBDa3q/qjwPvCGGXC+ydVvV+XnahSqVDZLjBwPuCvVqfES+dVJJn6/lDwhIjjMHi1zsNsUF3kVRraZPJo3uh9jPPYatGQ4aKC7u+Xj267P7twISxZBHy5zcOjpm6kHK8Zvw16ICbeTT74b615+SaY9+Mwn/wsPAF/X/BJ7/Qf8Ga3ml4JavHIxW2MDCzxdHdm17iDMCanGcQirdq3KW1cmtL99M7E0SfGLHn/ZeYhV8EohzXadPExeDNp1DE2txjxGyacUS5VD/McmhY3rZZ/siks5yJfp2mzb1HEXW7Kf5Cv/giHwj0rZFwyxrgbF8+V3e8d2WS286AmkN/9fynV72flhBxMREyswnbS0clp17th6jv9ooGGSQdPBy4Jfh8BQ3bJfak4b7n/YfNAZVVLo6Cxo6SO8rivbqmZk5Wz4ZB1OMS6KxZO0SE+E/Wio41nQlfSI+VsJmnMbEz4dFA6IgQA0wYmuJ1toa9cXajnNlZ1aeENDlUcqMjT5Qjle6wadu2KHg4c1G7RzynREgVXhi1vhhGTm6B0tEPQwefVmCkxes2VU7ABwP8jIQQBscE+ByCQgi5U0nOfftsSPW/9VgDdg3mZPcSlgSnWE+jS128aUkM0/I8q7Nqwf0NNnVziBNYa6g4Z753yiLl3nw88C4IUTqXnDJ3DNMnixEDG9X/VIQR5DYiRLENUZMhaFN3tSknDbOQM+AfplawXhfJDmjKZAF0YJXAn3A27Xtwke4eESFuyG2DrXjl8MSTYQVGezZYsYgfY0bMpRfXPSLvOI1V18NsKgPh2b7vJxdfKoM2hIZ+Cdd1zTLjZe+VeP7pWPb1zqDQl3Y8VnUFcHhEtbft476COs/jOHdjYiNFHvd6slloYJs8p5UYuSBer3hKXud6sgOqVlF2lbZEWtSyddv3/d7o6rzXaVFxhtMeCa0PwU+rrkCt5vhjUT6/ASYha+HDX3r/xXSGQbEBSGQszO3XFWJBT2A31GUS+q5o1T4Z5NnyUphMt/VdtN9DwOSNm2NkAaYw2aWEeZHYGUPOWUt7V1HfDOb+mM2yB7veymoUVttAXbPeCG0fD4S2UtI4c+CzovtnBHI2sVnGHNXA0D++XeRL1rHvuc2HR8QF/pM148J2v3SLG83yT2DuGz/6xAvu3f+fbb04eNPhK7aD2W7wpXj/XwjTI2UY8cwI3zZS1jFkH4m6uLI+8663KRAownhXrc+do7eTL2CVWco/zBIhwP56cMFPB73rurQk1bXe7dX3EW8CtAQUh8Om16GdFhd9vKruDK6fEldmGk5ozT9HC4yuTNPcYE8Hc0LEpoBF7xtg5klF8lFo3k1wwe8CYfDAtD89g3fOYvn48ny8e0kwjrGA/AjWSa2c+O0uvgTGNMGEmAm9IHF81CYNv5DBydwy4wHyOYoQhRjncnNtXuwne1yZzWIKGRjK74rr+0lwxodmXMu2Ypoa9+o/Ew15Y7MSUKYVzGKuJmA3kQgDEy8a/TxNrNJOwpjSZAQuzS9E8wWqQMWLGFDlxdNPKNaTSDa1T+ppkuElfQXaGYUT0xWuyoBAvP9+IIRYPOp4OcXuvVH/bY6aGKwc8rmxLj8ccITd/O1Ys6+q8BDOGFkXwc5BrdY48tqQ2QHr3Ex4Zh1QGeog4ahVezLQOawIjpmcN2YH3guqU6hQe13acBsouts8f17c+WWgEJJ4O5jMXoiQW7tqOyBSwjARLyZ4gfEaIQ/IpxhTex3ZCP4+n+d+CGuIaugst3Ro8umvZb53IEopfERrRFiD+0oPsBPq6bU92R3qBFXCpCUrWiv6IndAR1VH8D9gQyKE2Nywd3MMnVL/F2Ikhct46dkmhOCMakAXF4R4aRAiZHmsnJpMrMMKR+7kkBWIELIdSBGdENKAsh0gQvBRUah65sSCS8OuYRPhPEGa4D7+jQhhfwAhwuSV7u0KiF4167DCEWnFiwZBuaAQi15wQPUWp0y0TWsKKu6mMCAGaRtF2Sm7rLV71ImTU7ypt4KiR7R2kByXpkxbplmOLIcSIoBlEcFOBaMEaRe2KfgjiO2em6kD7papPIzfC3pHuRYRzuE0d1L6Hvu0657CfPkm2aFJN76cJ97Ypj1SyPGyUJg98pf8OsU8Oo74IUaG+vKEt0uV7QCZqij4WOPoKV9h6pA8Twc1HwvBkKmyfbpPwz/GVC+L581ZcXOGzeqrNc4nkvRyUSYALe9Iv8yjROgkccgb4LIru+Hl7Z0UQ0CZSZS0GM1vsKag/z9oU/uyggHq1duNQpTeuOz22l1zhTBBWR7zZRMnZKFsB8Wy8dQ3oOB+JszRUDiiEJuo/4JS/QjA2CSJm84XEUgmI9VBd67tDJep1NP3jO1MTOlqrkK1bORpj64YX7Nrv/Ki80wUV28pk7kzn9XYZqVqxszkDv3Pr/wPfi9cCOTRafnnAWNwv+Zcra26M19zzAe0EP8UYM1t5KBAgel+6ur5Ps8LXbCGhMp6HLPCav7O+U1BuWT+WATDpHG+vVvsUIO3LVT/ydZu7HITTg08P3SA9g8Dg3h3lbHk39vAepMNEQzkoZKOqm2OssFzC5co3r8MtDTD4UfH7YaXE8O0xzcJkF3JrNd6hcprJIOaPRTcd86bm/0NkPQOr1BoOnbZLHRmZXkvHx6brrSls7tsgPmJTan4D53l8YOAMybtt+RcLPgsSwW6KaM9btRdqXzYqMp0HbBwe0Y9Y/wT5r1fDcIc5CwQ3jrvhEvarsMzl9tRfCUSwTZc6m8UMJMhbsRAKurweOEu/x1WzViJtEnbU1ydOu+0wnPxetve2kPaZpRRYxplVBXDOu1xxpif/tA7/1KYhbCFS0bWURJLjeOqz8r0e6FJTSbs/0bJbPLH3bjl5hPXRjC7qnTU4KfGUk3/fwcmnIvHznL+qaJ3ivtfqt79naP6Ybjyii8j5i6e6P4eC+/uBwf29vA99X/22NwLsAqdxEv0yU31pciijwAiCqowCJIwtq6k4nn3n5tBqTjoc4+wupwWoBVp7FQgmpXqsn+3aMzHAfHyXPCgGCxuX5DQxYf0thWDfb+Xq7LhOG5sz55OxhJerxLUheJglla2H1vlM1LwuAknOHrzpHniic7t22ZeB6U1yykbdZEOHU7VEY6OtruYx+sWPjLonox1T2BI1+k0pMpc8Rs1hcHaYDpZyNiThRTie2nTDeSIWMuY02fmjcCcdF0Ok2P/Q4MvrUHH4BrrDml/a0QOKYYjoPBSO963o1/C2FLg7hMPQHiWJcIOxXq93x9sWPE/M4yfBxNCEnZBSBEb7s0CZFH6VOdNwck0Zbg0Nhs4Y4ycp3pV0uIyUP4ZIuSDL8C+tHW8EELM+AkPAyQBz94sl88ihLCdi8hukvXzK1ULYUCmNcqmsNcguoCL3ALn+O5TPg7k426soT023TGV2RA6f+EvetEsEcJGp5Heuue067b+MDZpIN2O27FMcUlaDUw0h3VKNdgeMG/su4B0fYrdp/+lusaEqtC5UN1QNOGyfLLQ5ra6FMAEMw259DQeeSB17Psn/fW/E75iHbOaOYbuoxPIDF/1XX+xAYNkkscq8Zcqwd8Js4///8jl+w9+GlyD3b+t3fXwe+ht2VR8w/PmQBd2saLeX/5ltK6pxCn2JlzgzhJD7aaIcF12YcL8wkvdvjBj4ulyQj1RmO/jZNJClUlYxzVT1xh1mdpqYRSFGeHDiZOpqfmOUeMb8PX+41k68Vu6vVrWZbsM12lhkcroysBMsV5J7oxq4lMjc6qZSBeRW/NBVktAsZqqXDPIVFNKFVYgtLV0TbPnzdvedLgiibpVkfdOCsJZCzDXc/k9UfG+ys8WrD7lo2wTdy/926Fd6P4K88/7Frco2j+r+BqmHXXl9lC1nWOSbKQOXcsY17iSdEvrN0o1BEK42+Xz1Y3HLEHYFMBc0ii8XJHVlNFIt6ZNBiiLEhofYHkD9cL0PAoKVIIWZZfOewtMcMbr9Sv4W1Xj9onbd9ouvKUPJZXdnGYsoZIAqzt/jv5yKQrQqnJdrro7jgQ0aXgpScp72snYMqcHqtrPpqesk8uNgilVby0v+RTI2KGmQWHQdOF4CVgw5Z3oHA1y+j6uynyUq2GK40RcMTkMqohPf9hwiZmeYt1T3qmpVzgmX6KW7EOaKLdkRwvXo+d3ae6mHVkLRNm0J39qpI2urlNt6YlbxcxYn3QbZX4jTeOTMye4xlK6RzroyiEz13toslSF6FajF4alTSYVr+l7fHH6dthf1/Unr1F2zLW4ICQbym6EzeiYPZX01lq2WjcmRYQGB4uVGqXV42kTu5upes1VGrPUTrVXHawTqiweNKir0p8yXCLE4Vmy06bASOjvxE27hTyghB6HW9XY1c4mjs2cpoO/Wa/VjYSX5mRfLPMpgrWuYJ0VdVDiJzHKfrDBepGjS6GXm50EGTTQBwdvb52xeQ+rPg1Lva+I5Ee2bV8MSIgeRK8g9bVbhOhriEKv3SVVk42odUb4xH1V9eD269DGm36ismlVSZ3ztCIayp8Hq7COzsBYV6RU76DEp/XBMqtJUYhlT0khAqpON29myd7SS/Ba8nTHeeFxvjFeOGUbaZBOSbigjy1ITaeZIotSeukqxIEyDXb0fVwZuP5cgS8zlczUzUHrNrVNGTdFDsLlboMP6ytaYDixdluytUmF2pBZb4EQBrmTPgnvE3RFtqYZlNQQREhVwuJ6gR/whawUU2/rTGVStbIIErN3URvVxtA7M4mMvLia+hjxENGvARGi17LQfbPKfStcIKQuNokzuKTqIxWXwuOFuzobVJr8bAT+hMeadwjcV8wN+rB37AGxix+g4rA3wJMVNmiIKoU5p4g17nesQ/5KdUiTYbW3UtjXoJfVALkGNJlwYtKNSx7ISa9qDXoSIdY6xrdL4cWzD5TCk1v+gREpRzsYkXJlnYcgpd67tVzd2ODleukhn2E6N+tSJf5Qxbl2qtSup/yUHkrdbHgvayFqHOGpXexYI7SOn7eyYlB7KJ+7db/fj3GHzLIZhrK/VlLB3uFcYFgYI39pXFmv//Uw9Pup9mpG3ymS7NWmopT1addR3RrKXtOaZl2a5EZ3+bglWi6KC6VG0ws3hJ2uUb92Nu0IUHJNf8U1iZ6IeMfZ4+56RIa7uyyCWjpJEsHpkEYgiAenEse0FQeZ/5p51xu1nRFlf2mqID9R2J3Hxjw/TUITTiZNQ2LWpNrPnsC4iJXwhILEwpthHUjSAqQsoUmpTGaUGEQcQtaaZLKv3apk++0KnyqLH+tH+RJP1Hk1r6VgTYiXO0No0y5IK1zNS2vfgQyq96URhw0uy+3gINnCJOmBecmI83MiFeRT4YZi6Rxs5+CXeRq+x6FUjd/Sis1VhhXEvfwn6aYzKm/x4tqCKXC7mFZWWiNFp+z6M38L9pcP8/4uaAj6rkxNZBGIjL2KjctKGNPGAfewKNFwOapl6JhxEMUWSYWlU85F/117BbjuO2/zNbCUvAjVlLNav7tTADPEFKGC7YQiCKhVKSdRfP2rIUYsiazMB2sS9QNXs7BnZb2HREOtpV7ELHyKFSIHrqSc8j0U8h0l/pav+m2tZpn38hw2B6qIb3ns3H+pkM0T5X2ion8Emwc1Rcb8rcEMEr4Fjd/8C979tBdFYKHS/Jw3ezx4SyxvRzsbGARcLWOfmXI3bGyiSWDXKmcfAEnFfWiUYKvb0TJh20lCkQ77udJ9bN8odtdhCl8mn4aSPerYzyazRDdFDLDu4SPTmKM828v3jO9N59qex8XQ04I2qW76TZW6ZR5iUxE+lGbrpLxoeShVe/UM75sW8D8KG97fqvEooPf3jZIzlaVmW/cihc2SrsJPci2fodRzT6n6tA9Cvpa7ackG4hGr290CSzevqDOUedi3aoXW0vJNJfoeB7bunlBdZYXQ+tSkjGMJSnWSjj0FNwgZnkHnFTlrjGekl1iolN1HBisXPAEz5Pt82kVk78flPevbHsomZxTqgLpIV8cBmNM+EaIn3alLU0ssDTgKIQZPy7GWu53FvjhlKF9nd8E4DwYoFL42nFKx45eJ/K1jkjbWkqkwWHGb7L5UC7HTnZh237rUQpwaRXyqG7tESMZ1Exu0LYgUqojMW8n6Nw7v+0HACWifFJw5hxq0CL+yE1Sn0XPsK5sUsgXIneagTPaeM+hgHCcK6Zr1ep3y+HbKWBtpr1jLBeg5BzE6nUZGiwd3hhtrHrI1X2+O3TPvEy55Y/XpJdsfFyvvZif302C0A+hq4Nstbcc3fWnVzOov1SSanPaISJHnspy/SJu4jdMkeeXDGnWNdpnV/XggXNMUhukahqmbrlCKj4m/NHORgEy7gshD0rGdoyWk/WdxG9STLjLs00oCbd68Mg1yljBtoBqKnXQzDI8dlDfr4wzgGvLPrvrV3GgCr0GmIzmuNd4JZuyu8SVQkU6hGg9rucEh5VA8umim4NtUkzACS1qI2+8xCOBEccAmIhKx+Jcy8A/+j2CK8/9m9f9DA/vMsfx9sS1NLOBLCFnYvj4gkCqiCWZ6TzfLxH20BAqdlbA0cFQxPHDyzy4WeN6vXO2xV9fPgvh0OPBxOASL4P9oHO42kWJQndtq5Ezudy8xsb+tuLuwC4E3lFV6npXaqaQfY2+w/JBgrlHZ12ELR//ywry+y/1HOYICWMORNn6ejGfGyzK6TkTXKWShUoPKjwazCUR1uNjPfu2A/isYgQztLtjQ9vMWlolb31aHECupuCW19G75ZRiHC0eXREWeXEY6kuCmyzKXVJs7K0vbL3sS4c2+3rSPn1+kYt13ucWd6ZvG/G57z4pTdC9jtOG8u/Z4eSZ/rbpm057zXTpEE8VQiC/5lkkqPbBD8OrW0dHLULURjTWo/eEeG+bgf5kNoTDicQ+WRuR8pITu3Z69mGCY/o62mcqfb29zmgqsZNwEexgoECgdutOm5KPZ8wNqjbol+OpHPF6/GTxOEf9HmxDiCwrwSTReTe4wBRFSBOQpSAqp9jGrFhQykvrfvGaTuks7b4LNiWn0Pe2Z6JTxxo0bVPHqZAfPDz9l6o73EU6KsuU5qf8geNAeRf662JxIG1O7Jk85Mo6KD3mfMRhvkq7y6/Y0+10UDjKxyD3XZcXDvsI77onbjtuHNyDSxkiW56DGRv8K6WE360BnurusDiGiItN0GZ0mIiOzQBhLewmevDAdAX5R6U8SPWZoCS+ywUuoCrOwLS959FXmO0FcihjG1R99kYcBa6qKacUfQsz6HXANiPkH/x/A3jn6cjv56xsJ5D9bCd7pvgyh/gV0epkBV6vo21HMje7+/dINLw2/753ftH7nxKwo/hKMyFw7tc0pbTwAV6PzEsRsgbYrZYJe7Dh0MVSr2+ky6vuyg8/m+3ZdwnfRJeATheG6zup+xAJi5WZvUTBov1bW9QdAb/hu3PUaiHE4yNvb6XgfgGae+HbcctMcxKTMj5eBqlC7+YfWEBrGeSudqH/3jd9+djEjNc1jhJT8XHJbuDe+8ancAnMOgunDT9+zB9/kjF+7TMEfhHo4r/37be6ZzSlRWRVlknBNHmA6SqmWOyv3sSUX5yna8KizmcTfo7zFCV9XGOlVoPJmulR4U7N5epi72ayQV7+oGAWFdqM6t38JFKFXVvVyi3hU5RooHVTudAZJ6yGl6lybr7WJzP2e9gn1xr7fOhAJeN6Qd1ywjInNM1308wCs/d5299QFRBFGtZhDkZK9wmEp5629mWI3C88rNBHRxsUZaEUld2C0C02PZNln/1eEm6jg/6h+zabg/5i/idk8DM0Ash6kXdb8gC+1U9WnGQTnsuvKYzFzksa1Gsj2EJdNSJH/VQ1pvPWx59Fsqp1X16ckI5WmzE4pZYoIGZpcHpWp5IoQqNKu3GblkNm0xfymgmY/WGUNbrrzowGsMzDz0y9QFlXwv+3vYKJKYfO77WMM7lu9XqxekQLEpnSR1amsENTxS5n2DMV2Skna2GEFpeGUqOluEHMN81uZs9O/pru8492q52uLwrTg6PlEIQpQbbRvECI05K1thNr4Hm8Da4rE2PhdBU7CRd6C+4mB/voLNv6iBKLgEwX/M7JWGNzWeDC5eUGNOiLvf+4bSCGWl0auPxf+Q6KI15R90XXaHGyVliakxsYSo1njSA6i103CVk5bJFZ2mld+P2LPzOMse8LVpJT5G2knI71LbUKImkqFF61hR1UXD9CBu4WuxrftyH5jfQJ4+vkUogW8D/oXT+BE8Un913lYcz0/LlyOWcOruhxAQ96SbnmQWtddLASUtqZZ62ucYdqTr39X7kKa4iw8vpY7G4fn8LCteVYUx5BSJFze7CIK5ZYLreZ36g5pRfsjUIgas6MoS71kDDmF7NXHY4nzNECGXa0rrtN2eswafjY+KAkxDJF76FGWiclXVJEAAARZSURBVERmee33LiMiuIBNbWhXoTQBN3AoAdBupmsMVshx/OvOS6qEkfdC+Tr6qyBLYvgkfd+rOmNZFbIslOw7S+xAzJ4vCFdqIfFlzF7o0u4ieBhpUVXKzVegOkVIPc6W9mEp1yCL5hc/PbhiERWjNqqSZ2hKL+whl6ZyKwT53qm/uIO4iRWQR7VKNaMXjotZ2lYrB5vvsXg8myJZFxLehKgn/nxQS2+nkiy7ROfBYMETTkO2/bM79jIWqNhDVn3ty0Tk1qD5ZF02rPrBR9r1JI4+S1sMM1M9qfGwtxntdfxngd39+6WG8wf/Cdodu/s93/nXaHf/4D/A/4HP/9sGOa2oxOlm7/9fTKz+15tcltTkwsWCD+re/zo8XeuXqXEX7Sa/k/+emk/juA3BOTAUBF7GZjusDvpfSiMhL64UQJAO6V2yGpMhAiGXmxOizkEFiG/2d/yLgEFX4me3wsyLlLYLpee+MRK2KJjGO03uflCWkJqx3JXsb4RV5+Kc8Uq+2YUKISkqW/etxnXVD5bUHMT2tB5JQPrwNf7eh7Cp5ZxZD/pUys4CjdT/JY1ovE58TQb/kzc72hvB1UT0VwEqJZkfH6VVCHUyyv/SuS14Isyl+p+owdPOa8hCQKNyLiZ/eEf+D4BWcQdqXnlxV3Nb5v6zsxe+sv2wSJq1SrkSMfeISFmPdpKf1I+/D8y6skUQBlEQ+dWzWREhWGW/Ylay8GBFQUAmGsYGA8L6eVPXuAw9eJ7HT4YbtYld/iIL7wzjf1Fi/xroLw6qTf0XC+/fClSle159/sD24o8I94axf/C3w5tEqJuTdycuXu07Reft5isfFxZvf2NUZu82elvPg6nmVARqikqMDPjIINKxOTWnvr0pbZ/cBU/W2xHhVEpfwNjsrp5OFGK3p9M+BXM31Y9xDh86iUw/PSXccgd4XSBEvN5ldhdS5NC6iViSKSCBftSveG0Ipo2U6Uz7oddjt5eh3SnbZdGljlNOzuwlqJgEc64siAjxEjMjJ5MvvcCpp3Fckq2IMqGtj1z6n4KHCCEChnWtnJMU7xDfFUNYIMTL4zgNs747cIoV6WQ4ggvWjuIC+uFTAeLTu8WXPgjIj0zl4I4Z1QWkJUM0kPe3K80VIaBblhNUG+g3ATlc+QZEW7QWeTYDrejJKXX+4NZWTyFEBv/TSmMfmtdzDUvOqHjI08xDsko3z55BBDVsgBm8ZbRH4pO2zXSDwfnxM0C+BFbAM5c5/NnjkadSZswmva3830YOEoZPW9QbeFAHQ85dKpALFbe0CDHpcMoc4lZnMf38se0km7iNQwjafdu2q0Lagar9PvKChZRux/F+v5d1cxI8iq0qrkpPBn5FTbPJsNewgqgPqWTcg9fD+DYQ8z+LecLur8IcRvbGMoDTq7rsSLt+9Jo6XwE2b4TI4EZ1ewc1F3fdMoiYTdnNqa0iDav4I4shPw1QCpmqlP+1e5v/g3/wD/7Bl+F/2vUQy4scZIkAAAAASUVORK5CYII=)
Operatorii logici folosiți de Gödel și semnificația lor:
Literele P, G, E, φ, ψ exprimă proprietăți după cum urmează:
P = calitatea de a fi pozitiv; G = proprietatea dumnezeirii; E = proprietatea existenței; φ și ψ = proprietate dată. φ este o literă a alfabetului grecesc și se pronunță fi, iar ψ se pronunță psi.
Literele x și y semnifică obiecte ale cunoașterii. Construcția de litere „ess” exprimă esențialitatea;
Semnele →, ↔️, ⇔ ⎕, ◇, ∀, ∃, ¬, ⋀ au următoarele accepțiuni
„→” indică relație de implicare, „↔️” indică relația de echivalență, „⇔” exprimă operația de definire, „⎕” indică necesitatea, „◇” exprimă posibilitatea, „∀” ia locul pronumelui nehotărât „oricare”, „∃” exprimă noțiunea de „există”, „¬” indică opusul sau negația, „⋀” ia locul conjuncției „și” din limbajul natural.
Axioma 1
P(φ) ∧ ⎕∀x (φ(x) → ψ(x)) → P(ψ)
Transpunere: Dacă φ este o proprietate pozitivă, «P(φ)», și dacă x, oricare ar fi entitatea desemnată de acesta, deține
proprietatea φ (proprietate despre care știm că este pozitivă) și dacă φ implică și proprietatea ψ, «φ(x) → ψ(x)» , atunci
proprietatea ψ este o proprietate pozitivă P(ψ).
Altfel spus, dacă una dintre proprietăți este pozitivă, atunci și complementara ei este pozitivă (tudorvisanmiu, 2013).
„O proprietate, implicată în mod necesar de către o proprietate pozitivă, este pozitivă” (Benzmuller & Paleo, 2013).
De exemplu, dacă bunătatea este o proprietate pozitivă, și dacă o persoană x este caracterizată de bunătate, știind că
bunătatea implică și calitatea de a fi binefăcător, atunci calitatea umană de a fi binefăcător este o proprietate pozitivă.
Axioma 2
P(¬φ) ↔️ ¬P(φ)
Transpunere: ¬φ (se citește non-fi) este o proprietate pozitivă dacă și numai dacă φ nu este o proprietate pozitivă (Marks & Haug,
2021). Altfel spus, dacă o proprietate este pozitivă, atunci negația ei nu este pozitivă. Sau „Fie o proprietate sau negația ei este
pozitivă, dar nu poate fi pozitivă și una și cealaltă” (Benzmuller & Paleo, 2013).
De exemplu, o faptă rea este un lucru bun, numai dacă o faptă bună este un lucru rău. Un fapt nu este același lucru cu negația
lui, A este diferit de non A.
Teorema 1
P(φ) → ◇∃x φ(x)
Transpunere: Dacă proprietatea φ este o proprietate pozitivă, « P(φ)», atunci este posibil să existe o entitate x, «◇∃x», care să
aibă această proprietate φ, «φ(x)».
„Proprietățile pozitive pot fi exemplificate” (Benzmuller & Paleo, 2013). „Dacă o proprietate este pozitivă, atunci este posibil ca
un obiect să aibă acea proprietate” (Marks & Haug, 2021). De exemplu, dacă există bunătate, atunci este posibil să existe o
persoană caracterizată de bunătate.
Definiția 1
G(x) ⇔ ∀φ(P(φ) → φ(x)
Transpunere: Entitatea x are proprietatea dumnezeirii, «G(x)», dacă și numai dacă x are proprietatea φ, «φ(x)», iar orice
proprietate φ este o proprietate pozitivă.
Altfel spus, ceva are proprietatea dumnezeirii atunci când posedă orice proprietate pozitivă. „O ființă dumnezeiască posedă toate proprietățile pozitive” (Benzmuller & Paleo, 2013).
Axioma 3
P (G)
Transpunere: Proprietatea dumnezeirii este o proprietate pozitivă.
Adică, noțiunea de dumnezeire exprimă o proprietate pozitivă. Dana Scott include și ideea următoare: „Proprietatea dumnezeirii este pozitivă: este posibil ca Dumnezeu să existe” (Benzmuller & Paleo, 2013). Accentul aici este pe posibilitate, idee subliniată de teorema 2.
Teorema 2
◇ ∃x G(x)
Este posibil să existe o entitate x, «◇ ∃x», care să aibă proprietatea dumnezeirii, «G(x)» (Marks & Haug, 2021).
Rezumat preliminar A: S-a stabilit că există proprietăți pozitive (Axioma 1). Din moment ce este posibilă o entitate caracterizată
de aceste proprietăți pozitive (Teorema 1), iar proprietatea dumnezeirii este sumă a proprietăților pozitive (Axioma 3), atunci
este posibil să existe o entitate care să posede proprietatea dumnezeirii. Avem așadar o formulă silogistică.
Definiția 2
φ ess x ⇔ φ(x)⋀∀ψ (ψ(x) → ⎕∀y (φ(y) → ψ(y)))
Transpunere: φ este o proprietate esențială a lui x, «φ ess x», dacă și numai dacă se iau calcul următoarele: x are proprietatea φ, «φ(x)» și, totodată, proprietatea ψ «φ(x)⋀∀ψ (ψ(x)», și dacă se impune cu necesitate ca și în cazul entității y, proprietatea φ a lui y să implice și proprietatea ψ a lui y «(φ(y) → ψ(y)».
Altfel spus, Fi este o proprietate esențială a lui x dacă și numai dacă orice altă proprietate Psi al lui x este în mod necesar implicată de Fi. „O esență a unui individ este o proprietate posedată de acesta și aceasta le implică, în mod necesar, pe oricare din proprietățile lui” (Benzmuller & Paleo, 2013).
De exemplu, raționalitatea este o proprietate esențială a omului, dacă și numai dacă orice altă caracteristică specific umană (de ex. afecțiunea,
voliția, conștiința, responsabilitatea, practicalitatea) este implicată de noțiunea de raționalitate. Exemplul pe care-l dă Marks & Haug este următorul:
„ia în considerare o bucată de pâine gourmet dintr-un restaurant de 5 stele. Doar spunându-ți asta, cunoști multe proprietăți diferite despre acel articol.
Știi că este mâncare, că are un gust bun, că are interiorul moale și exteriorul crocant, etc. A fi pâine gourmet este proprietatea esențială a acelui obiect
pentru că determină toate restul proprietăților sale” (Marks & Haug, 2021).
Axioma 4
P(φ) → ⎕ P(φ)
Dacă φ este o proprietate pozitivă, atunci este necesar ca φ să fie o proprietate pozitivă (Marks & Haug, 2021). Orice proprietate pozitivă este cu
necesitate pozitivă, indiferent de lumea în care am proiecta această axiomă. „proprietățile pozitive sunt cu necesitate pozitive”
(Benzmuller & Paleo, 2013). Proprietatea pozitivă are caracter universal.
Teorema 3
G(x) → G ess x
Transpunere: „Dacă obiectul x are proprietatea dumnezeirii, atunci proprietatea dumnezeirii este proprietatea esențială a obiectului x” (Marks & Haug, 2021). În alte cuvinte, dacă o entitate are proprietatea dumnezeirii, «G(x)», atunci dumnezeirea este proprietatea lui esențială «G ess x». „Dumnezeirea este o esență a oricărei ființe numite Dumnezeu” (Benzmuller & Paleo, 2013).
Rezumat preliminar B: S-a stabilit că există proprietăți pozitive (Axioma 1). Din moment ce este posibilă o entitate caracterizată de aceste proprietăți pozitive (Teorema 1), iar proprietatea dumnezeirii este o proprietate pozitivă (Axioma 3), atunci este posibil să existe o entitate care să posede proprietatea dumnezeirii (Teorema 2). Dacă entitatea x are proprietatea dumnezeirii, atunci proprietatea dumnezeirii este proprietatea esențială a entității x (teorema 3).
Definiția 3
E(x) ⇔∀φ(φ ess x → ⎕ ∃y φ(y))
O entitate x are proprietatea existenței necesare, «E(x)», dacă și numai dacă luăm în calcul următoarele: proprietate φ este o proprietate esențială a lui x, «∀φ(φ ess x», și, totodată, dacă aceasta implică cu necesitate existența lui y care are proprietatea pozitivă φ «→ ⎕ ∃y φ(y)». Mai precis, o entitate x are existența în mod necesar, dacă și numai dacă o proprietatea esențială pozitivă, φ, există atât pentru x, cât și pentru y, atât pentru o lume dată, cât și pentru orice altă lume. „Prin definiție, afirmăm că entitatea x are o existență necesară (și notăm aceasta cu E(x), unde E este proprietatea sau atributul existenței necesare), dacă și numai dacă pentru orice proprietate-esență φ, a lui x, în mod necesar există o entitate care are proprietatea φ în oricare dintre lumile posibile.” (***). „Obiectul x are în mod necesar [proprietatea, n. trad.] existenței, dacă și numai dacă, dată fiind proprietatea Fi, Fi este o proprietate esențială a lui x, atunci este necesar să existe un obiect y care să aibă proprietatea Fi” (Marks & Haug, 2021). Cu alte cuvinte, un obiect al cunoașterii noastre x există în mod necesar dacă existența face parte (este una din totalitatea esențelor sale) din proprietatea sa esențială și pozitivă. Dumnezeu există cu necesitate numai dacă existența este parte din noțiunea de dumnezeire.
Axioma 5
P(E)
„Existența necesară este o proprietate pozitivă” (Marks & Haug, 2021).
Adică, a exista este un lucru pozitiv.
Teorema 4
⎕ ∃x G(x)
„Este necesar să existe un obiect x care are proprietatea dumnezeirii” (Marks & Haug, 2021).
Aceasta este concluzia argumentului lui Godel: „Este necesar ca Dumnezeu să existe. Acesta este ultimul pas al argumentului” (Marks & Haug, 2021).
Rezumat final: S-a stabilit că există proprietăți pozitive (Axioma 1). Din moment ce este posibilă o entitate caracterizată de această proprietate pozitivă sau grup complet de proprietăți pozitive (Teorema 1), iar proprietatea dumnezeirii este o proprietate pozitivă sau grup de proprietăți de acest gen (Axioma 3), atunci este posibil să existe o entitate care să posede proprietatea dumnezeirii (Teorema 2). Dacă entitatea x are proprietatea dumnezeirii, atunci proprietatea dumnezeirii este proprietatea esențială a entității x (teorema 3).
Deci este posibil ca o entitate x care are proprietatea dumnezeirii, o proprietate (sau grup complet de proprietăți) pozitivă și esențială, să aibă și proprietatea existenței necesare (definiția 3). Acum, dacă este posibil să existe entitatea x care să aibă proprietatea existenței necesare, atunci o entitate x care are proprietatea dumnezeirii există cu necesitate (teorema 4).
Bibliografie:
1. Benzmuller, Christoph & Paleo, Bruno Woltzenlogel. (submitted 21 August 2013, revised 10 Sept. 2013, last version 3 Sept. 2017). „Formalization, Mechanization and Automation of Godel’s Proof of God’s Existence”. Cornell University. https://arxiv.org/pdf/1308.4526v4.pdf.
2. Marks, J. Robert & Haug Samuel. (2021, June 7). „Godel Says God Exists and Proves it”. Mind Matters News. https://mindmatters.ai/2021/06/godel-says-god-exists-and-proves-it/.
3. Tudorvisanmiu. (2013, Aprilie 27). „Argumentul ontologic al lui Kurt Godel, în favoarea existenței lui Dumnezeu”. https://tudorvisanmiu.wordpress.com/2013/04/27/argumentul-ontologic-al-lui-kurt-godel/.
4. ***. (***). „Existența cea veșnică a lui Dumnezeu a fost demonstrată prin intermediul unui argument ontologic de marele matematician și logician Kurt Gödel”. Mișcarea Carismatică Teofanică. https://miscareacharismatica.ro/existenta-cea-vesnica-a-lui-dumnezeu-a-fost-demonstrata-prin-intermediul-unui-argument-ontologic-de-marele-matematician-si-logician-kurt-godel/.