No it won't.nothing wrote: ↑Sun Mar 08, 2020 11:31 pmExcellent post - made me happy reading.Scott Mayers wrote: ↑Sat Mar 07, 2020 11:03 pm I'm atheist. Given a reality where 'god' cannot be scientificaly rationalized, whatever we are made up of, if by 'laws', these have no foundation for being "obeyed" even by nature without some underlying LOGIC of abstract factors that lack any SPECIAL case, like our particular Universe that has laws. As such, reality HAS TO BE 'mathematical' (ie logical) with the only 'constants' possible as "absolutely nothing" or "absolutely everything" as elemental inputs.

To approach this idea in another way:

wherein {alpha+/-omega} serve as a universally bestowed, locally employednull binary

which can be assumed by any(meta-)physical binary relationship:

conjugation, reciprocation, denial (ie. thesis/antithesis) etc.

If we say all-knowing is a valid state (ie. as often attributed to 'god') then

...to know {allthusnot} to believe...

indefinitely approaches such an all-knowing state,

revealing that {knowledgeandbelief} areantithetical, thus:

all knowledge negates all belief-based ignorance(s)ad infinitum.

That one will sting the "believers".If Satan had a phallus, he'd have named it 'BELIEF'

would that all"believers"be incessantsuckers.

-nothing

## Fun with logic, Peano and Constructivism!

### Re: Fun with logic, Peano and Constructivism!

### Re: Fun with logic, Peano and Constructivism!

I would say is mathematics is a human construct which part can be real and another part cannot.RCSaunders wrote: ↑Fri Mar 06, 2020 2:27 amThere is no such thing as a, "mathematical universe." "Mathematics is a human invention for dealing with those aspects of existence which can be counted and measured. Outside human minds, mathematics does not exist at all.

- RCSaunders
**Posts:**2210**Joined:**Tue Jul 17, 2018 9:42 pm-
**Contact:**

### Re: Fun with logic, Peano and Constructivism!

Oh, well, that's helpful. What does it mean? Mathematics is certainly a human invention, like language, logic, and geometry, and only exists epistemologically, but it really does exist, but it does no exist ontologically.

### Re: Fun with logic, Peano and Constructivism!

I mean, only some mathematical frameworks Apply to reality. The rest are not coherent.RCSaunders wrote: ↑Sat Mar 28, 2020 1:08 amOh, well, that's helpful. What does it mean? Mathematics is certainly a human invention, like language, logic, and geometry, and only exists epistemologically, but it really does exist, but it does no exist ontologically.

- RCSaunders
**Posts:**2210**Joined:**Tue Jul 17, 2018 9:42 pm-
**Contact:**

### Re: Fun with logic, Peano and Constructivism!

Mathematics only pertains to those aspects of the ontological that can be counted or measured. Whether all of mathematics can be used for those purposes cannot be known. There are certainly aspects of physical existence that at one time nobody could have guessed could be understood in terms of logarithms, simultaneous linear equations, the calculus, or transcendental numbers, but they can.

### Re: Fun with logic, Peano and Constructivism!

To claim that language/maths/logic/geometry doesn't exist ontologically is to also claim that the contents of your brain don't exist ontologically.RCSaunders wrote: ↑Sat Mar 28, 2020 1:08 am Oh, well, that's helpful. What does it mean? Mathematics is certainly a human invention, like language, logic, and geometry, and only exists epistemologically, but it really does exist, but it does no exist ontologically.

Oops?

All of those things you mention are computational concepts.RCSaunders wrote: ↑Sun Mar 29, 2020 1:03 am There are certainly aspects of physical existence that at one time nobody could have guessed could be understood in terms of logarithms, simultaneous linear equations, the calculus, or transcendental numbers, but they can.

Thought is computation.

Computation is entanglement.

https://www.quantamagazine.org/landmark ... -20200304/

Ontological dualism is deeply flawed.

- RCSaunders
**Posts:**2210**Joined:**Tue Jul 17, 2018 9:42 pm-
**Contact:**

### Re: Fun with logic, Peano and Constructivism!

Well, the contents of your dead brain can easily be examined, and all that will be found that is onotological will be water, various assorted proteins, colesterol, and fats. No language, math, logic, geometry, will be found there, nor will there be any consciousness found there, because they are all products of the perfectly natural but non-physical attribute, life. When life is gone, all the intellectual product of your brain is gone, and so are you.Skepdick wrote: ↑Sun Mar 29, 2020 10:35 amTo claim that language/maths/logic/geometry doesn't exist ontologically is to also claim that the contents of your brain don't exist ontologically.RCSaunders wrote: ↑Sat Mar 28, 2020 1:08 am Oh, well, that's helpful. What does it mean? Mathematics is certainly a human invention, like language, logic, and geometry, and only exists epistemologically, but it really does exist, but it does no exist ontologically.

Ah, the greatSkepdick wrote: ↑Sun Mar 29, 2020 10:35 amAll of those things you mention are computational concepts.RCSaunders wrote: ↑Sun Mar 29, 2020 1:03 am There are certainly aspects of physical existence that at one time nobody could have guessed could be understood in terms of logarithms, simultaneous linear equations, the calculus, or transcendental numbers, but they can.

Thought is computation.

*equivocation*of our age. Just as:

is absurd, so is:Hot dogs are better than nothing.

Nothing is better than steak.

Therefore, hot dogs are better than steak.

Just as the word, "nothing," is used with two different meanings in the first argument, the word, "computation," is used with two different meanings in the second argument. Human "computation," is the conscious process of using concepts of counting and measurement to discover relationships of magnitude in the physical world, and requires that whatever is being counted or measured is consciously recognized or identified. Computer "computation," is nothing more than physical states with no meaning whatsoever. The product of no computer process means anything at all unless a human consciousness interprets it.Mathematical thinking is computation.

Computation is what computers do.

Therefore, mathematical thinking is what computers do.

Oh, I agree. Life, consciousness, and the conscious human mind are ontological, just not physical, but perfectly, "natural." To deny something based solely on the notion that physical properties are the only properties possible to existence is as superstitious as any religion.

### Re: Fun with logic, Peano and Constructivism!

Yes, there are aspect of reality that cannot be described in term of mathematics. Because there is mind.RCSaunders wrote: ↑Sun Mar 29, 2020 1:03 amMathematics only pertains to those aspects of the ontological that can be counted or measured. Whether all of mathematics can be used for those purposes cannot be known. There are certainly aspects of physical existence that at one time nobody could have guessed could be understood in terms of logarithms, simultaneous linear equations, the calculus, or transcendental numbers, but they can.

### Re: Fun with logic, Peano and Constructivism!

Yes, but only when it comes to intellect. There are other aspects of mind, such as ability to experience, decide and cause.

The content of mind is incomplete, unless you know everything.

### Re: Fun with logic, Peano and Constructivism!

Any software in any modern programming language has those abilities.

"Experiencing" is just reading data from the senses - Input.

"Choose" is the very name of the non-deterministic operator

"Causing" is the same as producing output.

Well. It's kinda the same thing. Having a Turing machine is not the same thing as having an algorithm to run on it.

### Re: Fun with logic, Peano and Constructivism!

You cannot possibly write an algorithm which can possibly freely decide.Skepdick wrote: ↑Sun Mar 29, 2020 7:33 pmAny software in any modern programming language has those abilities.

"Experiencing" is just reading data from the senses - Input.

"Choose" is the very name of the non-deterministic operator

"Causing" is the same as producing output.

Well. It's kinda the same thing. Having a Turing machine is not the same thing as having an algorithm to run on it.

### Re: Fun with logic, Peano and Constructivism!

That is literally what non-deterministic algorithms do.

https://en.wikipedia.org/wiki/Nondeterm ... _algorithm

### Re: Fun with logic, Peano and Constructivism!

Free decision is different. You need to get ride of all constraints yet be able to decide.Skepdick wrote: ↑Sun Mar 29, 2020 8:44 pmThat is literally what non-deterministic algorithms do.

https://en.wikipedia.org/wiki/Nondeterm ... _algorithm

### Re: Fun with logic, Peano and Constructivism!

Different how? Even humans are constrained in their decision-making.

In fact - unconstrained decision-making is impossible. Even you can't enumerate a set of infinite options, let alone choose from such a set.