[FOM] 2nd World Congress on Logic and Religion

Harvey Friedman hmflogic at gmail.com
Thu Jan 5 12:50:38 EST 2017

Of relevance to this topic is

A Divine Consistency Proof for Mathematics. December 25, 2012, 70
pages. https://u.osu.edu/friedman.8/foundational-adventures/downloadable-manuscripts/

Abstract. We present familiar principles involving objects
and classes (of objects), pairing (on objects), choice
(selecting elements from classes), positive classes
(elements of an ultrafilter), and definable classes
(definable using the preceding notions). We also postulate
the existence of a divine object in the formalized sense
that it lies in every definable positive class. ZFC (even
extended with certain hypotheses just shy of the existence
of a measurable cardinal) is interpretable in the resulting
system. This establishes the consistency of mathematics
relative to the consistency of these systems. Measurable
cardinals are used to interpret and prove the consistency
of the system. Positive classes and various kinds of divine
objects have played significant roles in theology.


Also in the same general spirit, but obviously not so overtly
religious, is: Expanding Mind Theory, November 18, 2016, 17 pages,

Harvey Friedman

On Thu, Jan 5, 2017 at 5:14 AM, jean-yves beziau <beziau100 at gmail.com> wrote:
> 2nd World Congress on Logic and Religion
> University of Warsaw, Poland, June 18-22, 2017
> Invited Speakers:
> Dov Gabbay (London/Jerusalem)
> Michael Heller (Templeton Prize, Kraków)
> Laurent Lafforgue (Fields medal, IHES, Paris)
> John Searle (UC Berkeley)
> Yuhan Sohrab-Dinshaw Vevaina (U. Toronto)
> Jan Wolenski (Kraków)
> Deadline approaching:
> send an abstract by January 15
> http://www.uni-log.org/logos

More information about the FOM mailing list