Search found 844 matches

by wtf
Thu Sep 05, 2019 5:26 pm
Forum: Logic and Philosophy of Mathematics
Topic: Correcting the definition of VALID inference
Replies: 30
Views: 755

Re: Correcting the definition of VALID inference

Isn't that just logical AND?

So that if it's raining AND it's Tuesday you'd say that rain implies Tuesday?
by wtf
Wed Aug 28, 2019 7:30 am
Forum: Logic and Philosophy of Mathematics
Topic: Assumptive Logic
Replies: 134
Views: 1971

Re: Assumptive Logic

This is because mathematics is a sub set of logic and so therefore needs logic in order to justify all of its axioms I haven't followed this thread but this sentence caught my eye. Didn't Gödel definitively prove that math isn't a subset of logic? Math transcends logic. Gödel's work destroyed the h...
by wtf
Mon Aug 26, 2019 7:30 am
Forum: Logic and Philosophy of Mathematics
Topic: Assumptive Logic
Replies: 134
Views: 1971

Re: Assumptive Logic

Eodnhoj7 wrote:
Mon Aug 26, 2019 3:22 am
..this argument is about losing sanity...not gaining it.
Don't you first have to have some sanity to lose?
by wtf
Sat Aug 24, 2019 9:22 pm
Forum: Logic and Philosophy of Mathematics
Topic: P Vs. NP Presented Solution
Replies: 2
Views: 161

Re: P Vs. NP Presented Solution

Eodnhoj7 wrote:
Wed Aug 21, 2019 6:58 pm

10. P Vs. NP is its own solution to its own problem as a process of definition.
If P = NP you just divide by P to get 1 = N. QED.
by wtf
Sat Aug 24, 2019 12:26 am
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 4749

Re: Truth can be understood as math

PeteOlcott wrote:
Fri Aug 23, 2019 10:16 pm
Conceptual truth is a set of stipulated relations between meanings mutually defining
each other semantically comprising the body of conceptual knowledge.
20 years on that meaningless word salad. It's funny or sad, pathetic or horrifying.
by wtf
Sun Aug 18, 2019 10:05 pm
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 134
Views: 3471

Re: Does anyone here actually understand formal proofs of mathematical logic?

Yes, I am aware of it. It's part of model theory. I am arguing ultrafinitism. As usual. Was not aware that's your usual viewpoint. I'm a big fan of the work of the late Ed Nelson, the most prominent serious ultrafinitist. But arguing against the use of the infinity symbol in the extended real numbe...
by wtf
Sun Aug 18, 2019 9:56 pm
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 134
Views: 3471

Re: Does anyone here actually understand formal proofs of mathematical logic?

What does that mean? You a Cantor denier? I mean that whereof one cannot speak, one must remain silent. We can't speak of one infinity being greater than another infinity without committing conceptual and symbolic equivocation. ∞ + 1 = ∞ (True) ∞ + 1 - ∞ = ∞ - ∞ (Undefined) ∞ + 2 = ∞ (True) ∞ + 1 >...
by wtf
Sun Aug 18, 2019 9:37 pm
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 134
Views: 3471

Re: Does anyone here actually understand formal proofs of mathematical logic?

Skepdick wrote:
Sun Aug 18, 2019 9:10 pm
Infinity is the principle of explosion in disguise.
What does that mean? You a Cantor denier?
by wtf
Sat Aug 17, 2019 6:59 am
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 4749

Re: Truth can be understood as math

PeteOlcott wrote:
Sat Aug 17, 2019 6:41 am

It is a correct refutation of [you are a clueless wonder that does not know jack shit].
Pete's losing it.
by wtf
Sat Aug 17, 2019 2:33 am
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 4749

Re: Truth can be understood as math

Like I said, C++ is expressive enough to create a fully functional human mind. Could not possibly, since programs do syntax, not meaning. I am 64 and have two software engineering patents: https://patents.justia.com/inventor/peter-l-olcott Of what relevance are those two facts? You could be 90 with...
by wtf
Thu Aug 15, 2019 10:53 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 4749

Re: Truth can be understood as math

PeteOlcott wrote:
Thu Aug 15, 2019 5:10 pm
Apparently my IP address has been blocked.
My power is unlimited.
by wtf
Tue Aug 13, 2019 9:03 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 4749

Re: Truth can be understood as math

Skepdick wrote:
Tue Aug 13, 2019 8:02 pm
Any system you build is build on top of arithmetic. Trivially demonstrable when I ask you about the cardinality of your knowledge-base.
When I asked him about that he said I was insulting his mother. Go figure.
by wtf
Sat Aug 10, 2019 5:26 am
Forum: Logic and Philosophy of Mathematics
Topic: Simplest possible notion of a formal system
Replies: 69
Views: 1306

Re: Simplest possible notion of a formal system

It seems that you are intentionally playing head games and are not interested in any honest dialogue. That's entirely up to you. I prefer a lighthearted and give-and-take kind of interaction, and a degree of self-awareness on each person's part. You initially wrote that your system was all about ma...
by wtf
Fri Aug 09, 2019 8:51 pm
Forum: Logic and Philosophy of Mathematics
Topic: Simplest possible notion of a formal system
Replies: 69
Views: 1306

Re: Simplest possible notion of a formal system

First of all the body of conceptual knowledge contains everything that anyone could ever say about anything in any language what-so-ever. Once you understand this, then (AND ONLY THEN) do we move to further elaborate that a tiny subset of this is everything that anyone could ever say about mathemat...