Temporal Epilepsy: God as a Psychological Derivative

Is there a God? If so, what is She like?

Moderators: AMod, iMod

godelian
Posts: 343
Joined: Wed May 04, 2022 4:21 am

Re: Temporal Epilepsy: God as a Psychological Derivative

Post by godelian »

Veritas Aequitas wrote: Mon Jun 27, 2022 8:28 am This give mathematicians the assurance whatever their mathematical statements based on accepted axioms they are fundamentally realistic and not illusory, i.e. not nonsense.
In that case, let us investigate another example, called SKI combinatory logic (SKI-CL). It has the following rules, which define the symbols S,K, and I:

(I x) = x
((K x) y) = x
(S x y z) = (x z (y z))

That is all there is to it.

In fact, the rule for I is even redundant, because I is equivalent with S K K.

The axiomatization for SKI-CL is much simpler than the one for Peano Arithmetic Theory (PA).

Since this computation model happens to be Turing-complete, it is equivalent to the lambda calculus, and therefore, its mathematical universe (model) is an extension of Peano Arithmetic (PA)'s intended interpretation, i.e. the natural numbers.

Everything that you can express in PA, you can also express in SKI-CL. You can certainly express natural numbers with their typical operators, such as addition, multiplication, and so on.

If SKI-CL is supposed to be "fundamentally realistic", where in the physical universe can we find something like S, K, and I? If not, why would SKI-CL be "illusory"?

The axioms that construct SKI-CL are clearly not empirical, unless you can successfully argue that they are.

Study Schonfinkel's SKI-CL and you may finally understand that it is your own idea that modern mathematics would be somehow empirical, that is illusory.
Veritas Aequitas
Posts: 12382
Joined: Wed Jul 11, 2012 4:41 am

Re: Temporal Epilepsy: God as a Psychological Derivative

Post by Veritas Aequitas »

Whatever is of mathematic or logic are abstracted from the empirical world [a priori or a posteriori] entangled with the human conditions.

You stated;
Since this computation model happens to be Turing-complete, it is equivalent to the lambda calculus, and therefore, its mathematical universe (model) is an extension of Peano Arithmetic (PA)'s intended interpretation, i.e. the natural numbers.
The above implied it is ultimately grounded to the empirical i.e. natural numbers.
Post Reply