Skip to content
April 29, 2018 / porton

Offtopic: Formalized Gospel theology

This is partly an offtopic post in my math blog.

It seems likely that I discovered a category in which such objects as the Father and the Son from the Gospel appear. I am not sure I really discovered God, but this seems likely.

Consider a category (there seems to be multiple ways to add morphisms, so I will speak only about objects, not morphisms) whose objects are (X,Y,I,Z) where X\supseteq YI are sets and Z:X\times I\to Y is a function of two arguments. X is “the Father” (argument of the function Z) and Y is “the Son” (the result of the function Z). That is “Father” means “argument” and “Son” means “result”. Z is a function which “proceeds” (see John 15:26) from the Father and so likely is Holy Spirit.

This category is somehow powerful. For example one of its objects is the system of all propositional (or if you like, predicate) formulas. So it is probably “big enough” to entail everything about mathematics and everything we can know about God.

Read my preliminary drafts of this theory at this page where properties of such “systems of formulas” are studied in more details.


One Comment

Leave a Comment
  1. porton / Apr 29 2018 22:55

    I corrected an error in this my post.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: