## Search found 832 matches

- Mon Sep 16, 2019 6:03 am
- Forum: Metaphysics
- Topic: The Simulation Argument
- Replies:
**210** - Views:
**6125**

### Re: The Simulation Argument

I will answer to your polite and constructive questions. I have a question. Suppose I'm walking down the street and a guy standing on a soapbox tells me that I'm nothing but a thought in the mind of God. God made the world and made me. God is everywhere, knows everything, can do anything. God makes...

- Sat Sep 14, 2019 11:35 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: 1 as Dynamic and Irrational
- Replies:
**8** - Views:
**143**

- Sat Sep 14, 2019 9:16 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Why Logic, At its Root in Contexts, Is Unprogrammable
- Replies:
**10** - Views:
**140**

### Re: Why Logic, At its Root in Contexts, Is Unprogrammable

How did this become the insane crank forum?

- Fri Sep 06, 2019 2:05 am
- Forum: Logic and Philosophy of Mathematics
- Topic: A Logical System with No Contradictions or Fallacies
- Replies:
**3** - Views:
**86**

### Re: A Logical System with No Contradictions or Fallacies

Does it have phalluses?

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

### 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?

So that if it's raining AND it's Tuesday you'd say that rain implies Tuesday?

- Wed Aug 28, 2019 7:30 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Assumptive Logic
- Replies:
**134** - Views:
**1470**

### 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...

- Mon Aug 26, 2019 7:30 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Assumptive Logic
- Replies:
**134** - Views:
**1470**

- Sat Aug 24, 2019 9:22 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: P Vs. NP Presented Solution
- Replies:
**2** - Views:
**99**

- Sat Aug 24, 2019 12:26 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**3825**

### Re: Truth can be understood as math

20 years on that meaningless word salad. It's funny or sad, pathetic or horrifying.PeteOlcott wrote: ↑Fri Aug 23, 2019 10:16 pmConceptual truth is a set of stipulated relations between meanings mutually defining

each other semantically comprising the body of conceptual knowledge.

- 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:
**2937**

### 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...

- 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:
**2937**

### 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 >...

- 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:
**2937**

- Sat Aug 17, 2019 6:59 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**3825**

### Re: Truth can be understood as math

Pete's losing it.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].

- Sat Aug 17, 2019 2:33 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**3825**

### 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...

- Thu Aug 15, 2019 10:53 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**3825**

### Re: Truth can be understood as math

My power is unlimited.