Wow! Many thanks for this. Amazing.

– JLP

.

Analyzing a theorem from the late Australian mathematician Kurt Gödel (and with a Macbook!), two scientists (Christoph Benzmuller of Berlin’s Free University, and his colleague, Bruno Woltzenlogel Paleo of the Technical University, in Vienna) claim that they have proven that God exists.

.

Kurt Gödel’s Theorem is based on “MODAL LOGIC (a type of FORMAL LOGIC)”, that– narrowly defined!– involves the use of the expressions, “necessarily” and “possibly”.

The Theorem proffers that God (or SUPREME BEING!) IS THAT FOR WHICH NO GREATER CAN BE CONCEIVED. Nevertheless, God exists in the UNDERSTANDING… and If God exists in the UNDERSTANDING, we could think such to be YET GREATER than our UNDERSTANDING… AND BEYOND WHICH, NO GREATER CAN THEN BE IMAGINED!… BY EXISTING IN REALITY. Thus, God must exist!

.

Paleo and Benzmuller say that they have proven that the Theorem is correct… at least, on a mathematical level.

.

In their first submission on a research server (“Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence”) the scientists state that: “Gödel’s ‘ontological proof’ has been analyzed (for the first time) with an unprecedented degree of detail, and formality, with the help of higher-order theorem provers.”

.

They declared: “The following has been done (and in the ensuing order): a detailed natural deduction proof; a formalization of the axioms, definitions and theorems in the TPTP THF syntax; automatic verification of the consistency of the axioms, and definitions, with Nitpick; automatic demonstration of the theorems with the provers, LEO2 and Satallax; a step-by-step formalization using the Coq proof assistant; a formalization using the Isabelle proof assistant, where the theorems (and, some added lemmata) have been automated with Sledgehammer, and Metis.”

.

In his discussion with a representative of the German weekly magazine, Der Spiegel, Benzmuller says that it is fascinating how the Theorem could be anaylzed by way of mathematics, declaring: “It’s totally amazing that from this argument led by Kurt Gödel, all this stuff can be proven automatically in seconds, on a standard notebook computer.”

.

Question: Is this “Proof” sufficient in establishing the existence of God, or proof of “something other”– i.e., something less than what was proffered by Kurt Gödel?

.

One important further added proof… and should Gödel’s “Proof” be sufficient in establishing God’s existence!… is further establishing whether this God (or SUPREME BEING!) delivered the person of Jesus Christ to mankind in order to bring mankind into fellowship with Him and His domain and Kingdom! And on this latter thought, I’d have you note the PHYSICS and SCIENCE behind the work expressed in the following URL!…

.

https://www.youtube.com/watch?v=bOv5V_IIYdI

.

The next 3 URLs reveal the nature and extent of the energy depicted within the last minutes of the just cited URL (and please note: it would be passing very strange– to say the least!– to grant the researcher mentioned within the second and third URLs below such a prestigious research posting, and regardless, offer up the kind of claim that he has brought forward!… unless, and of course, HE’S ABSOLUTELY CORRECT!)!

.

https://www.thenakedscientists.com/forum/index.php?topic=6447.0 (see, 1st Response by Dave Shorts in his Reply to Neil… the question’s author)

.

https://m.theepochtimes.com/stanford-physicist-vast-powerful-realm-between-particles-influenced-by-human-consciousness_535619.html

.

http://www.spiritofmaat.com/archive/mar2/tiller.htm

.

Please!… no emails!… Jesus Loves you!

.

P.S.:…

.

Is the “colored marker (usually black!)” at the end of the last inch, at the end of a 12″ “Imperial Ruler”, a) the end of the 12 inches comprising an “Imperial Foot”, or b), the start of another 12 inches, and another “Imperial Foot”?

.

People, if your reply to the just aforecited question is “a)”, then “12 midnight” on December 31, 2020, CANNOT BE 12:AM!… and must be– instead!– 12:PM! Indeed!… “12 midday” on January 1st, 2021, CAN’T be 12:PM!… and must– instead!– be 12:AM! And because… and by analogy!… if the 12:AM marker at the end of our “Imperial Midnight” is ACTUALLY the end of the Post Meridiem, and the 12:PM marker at the end of our “Imperial Midday” is ACTUALLY the end of the Ante Meridiem, then our use of 12:AM to mark the end of the “Imperial Midnight”, and our use of the 12:PM to mark the end of the “Imperial Midday”, respectively– and, specifically!– is faulty!… and must be reversed!

.

MERIDIEM (“midday, solar noon, high noon, or noon”!), is when the Sun transits the “LOCAL CELESTIAL MERIDIAN (or when the sun is at its highest altitude in the sky… i.e., is ‘B-E-T-W-E-E-N’ the end of the Ante Meridiem, and the beginning of the Post Meridiem!)”… and a timing-convention in which the 24 hours of a day are DIVIDED into 2 12-hour time periods: “ANTE Meridiem”/ A.M./ AM (the Latin “ANTE”, for BEFORE!); and, “POST Meridiem”/ P.M./ PM (the Latin “POST”, for AFTER!)!

.

And so and thus, the earliest ANTE Meridiem designation AFTER “12 midnight (and based upon the use of seconds as the smallest time measure)” is 00:00:01 AM… and the latest ANTE Meridiem designation AFTER “12 midnight”, is 12:00:00 AM (or as it may also be called, 12:AM!)! And, the earliest POST Meridiem designation AFTER “12 noon (and based upon the use of seconds as the smallest time measure)” is 00:00:01 PM… and the latest POST Meridiem designation AFTER “12 noon”, is 12:00:00 PM (or as it may also be called, 12:PM!)! In other words, our respective use of the “time ascriptions” 12:AM and 12:PM… specifically, and throughout any given year!… IS WHOLLY OPPOSITE TO HOW EITHER TIME DESIGNATION SHOULD BE USED!

.

To conclude, although the “seemingly ethereal and elusive” “LOCAL CELESTIAL MERIDIAN” of the Meridiem is but a back-to-back joining of ANTE Meridiem and POST Meridiem separated by no more than a “PLANCK’S LENGTH OF TIME”, ANTE Meridiem CAN’T– AND MUSTN’T!– be subsumed as POST Meridiem, nor POST Meridiem subsumed as ANTE Meridiem! Otherwise, if there be NO NATURAL DIVIDE between ANTE Meridiem and POST Meridiem, nor between POST Meridiem and ANTE Meridiem, then we need not consider ANTE or POST!

And it’s my belief that TRUE SCIENCE– and/ or, OUR COURTS!– will prove the veracity of my observations!… and will, eventually, reverse this PERVERSE MISUSE of our current designations for 12:00:00 AM, and 12:00:00 PM, respectively– and, specifically! And this isn’t merely a semantic argument (for example, re our use of ANTE vs POST!)!… it’s also an argument of LOGIC (for example, the “A PRIORI LOGIC ARGUMENT” that the end of the 12 inches comprising an “Imperial Foot” CANNOT GO BEYOND the length of the “Imperial Foot”, is “A PRIORICALLY LOGICALLY ANALOGOUS” to the argument that the end of either 12-hour time frame into which a given 24 hours is divided CANNOT GO BEYOND either respective Meridiem designation– ANTE or POST!… and therefore, is an argument in favour of the proposition, that the presently ascribed end of either 12-hour Meridiem designation comprising a 24 hour day– 12:AM or 12:PM, and specifically!– IS, RESPECTIVELY, LOGICALLY INCORRECT!)!

.

And on a lighter note…

.

Time (in real time, and as realized through a sentient witness) is the psychobiomechanically transduced physical sense (whether consciously, or subconsciously) of the phenomenon of the interplay of, and the cognitive extrapolation of the physical sense of the phenomenon of the interplay of (e.g., through mathematics extrapolation), the contiguous and noncontiguous relative motions of discrete and aggregate classical mechanical and quantum mechanical forces within nature… and isn’t a phenomenon to be sensed in and of itself (and inasmuch, as time is neither a classical mechanical or quantum mechanical force!)!

.

https://en.wikipedia.org/wiki/Planck_length

.

https://en.wikipedia.org/wiki/Planck_time ]]>