## Search found 757 matches

- Thu Jun 20, 2019 4:45 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Why Philosophers Should Care About Computational Complexity
- Replies:
**25** - Views:
**471**

### Re: Why Philosophers Should Care About Computational Complexity

What CAN be argued is that computer science itself is helpful to philosophy for its means to connect logic to reality. Since issues of everything philosophy is often about analyzing anything, a good way to advance your intellectual capacity to reason begins by understanding the most basic forms of ...

- Wed Jun 12, 2019 10:20 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Why Philosophers Should Care About Computational Complexity
- Replies:
**25** - Views:
**471**

### Re: Why Philosophers Should Care About Computational Complexity

If this is an appeal to philosophers, shouldn't you first define "Computational Complexity" at least? Scott M, between Scott A’s essay and a flurry of Wikipedia references, I was able to grasp a working definition of what computational complexity is. Among all the tasks that are computable, some ca...

- Fri May 24, 2019 5:05 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

Have you heard of Wittgenstein's ruler? Why, are we going to have a dick measuring contest? I have no interest in continuing this back and forth. You can have the last word if you like. I just would like to know what on earth you were thinking when you spouted off that crap about the axiom of choic...

- Thu May 23, 2019 10:35 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

Model-dependent realism is a view of scientific inquiry that focuses on the role of scientific models of phenomena It claims reality should be interpreted based upon these models, and where several models overlap in describing a particular subject, multiple, equally valid, realities exist. It claim...

- Thu May 23, 2019 12:17 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

What is this? A high-school exam? The axiom is here: https://github.com/UniMath/UniMath/blob/master/UniMath/Foundations/UnivalenceAxiom.v It says what it says and it does what it does. Here's the problem. Earlier you claimed to be studying Homotopy Type Theory, or HOTT. I found that interesting sin...

- Thu May 23, 2019 12:00 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

When did we get to "absolute truths"? When you said the world is a computer. That's a metaphysical claim. A claim of absolute truth about the world. It's something that's unknown and possibly unknowable yet you insist on it. You are the one claiming knowledge of an absolute truth. I think I rejecte...

- Wed May 22, 2019 5:29 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

Dammit I keep hitting Quote when I mean Edit. Double post. It says I can't delete posts in this forum. The moving finger having writ and all that.

- Wed May 22, 2019 4:45 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

I explained it in the very next paragraph! I explained that the sentence was targeted at my interlocutor's understanding. That's interesting. In other words you made an explicit claim whose truth value and/or coherence depend on the reader. That is, if your interlocutor is reading it, it means one ...

- Wed May 22, 2019 3:55 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

But HOTT, just like any branch of math, is a symbolic system. It says nothing about the universe. This is where you are wrong. Any system for which we have a state-space model is an example of Mathematics saying something about the universe. It predicts how the system is going to behave. I'll let y...

- Tue May 21, 2019 10:10 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

Because I said 'the universe is a computer' I thought I had given you enough to deduce that everything within the universe computes also. Yes. You said the mind computes but is not a computer . That is your exact quote. What do you mean? You are waving your hands about ontology but you are not maki...

- Tue May 21, 2019 10:05 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

double post

- Tue May 21, 2019 3:55 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

And yet - you failed to take in any of my responses, digest them and attempt to communicate in what way they fell short of your expectations. I am many things but a mind-reader isn’t one. Ok, that's fair. Let me take a run at this post. I said I was trying to determine if Speakpigeon was looking fo...

- Tue May 21, 2019 1:47 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

Well now we are in complete agreement.Univalence wrote: ↑Tue May 21, 2019 1:17 amThe definition of insanity is doing the same thing over and over while expecting a different result.

- Tue May 21, 2019 12:58 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

Lolwhat? Give me a link. Don't want to fight with you. Thank you to the individual who clued me in to who you are. I was silly enough to have been concerned about you. Shows what a sucker I am underneath the cynical exterior. I don't know if you have any clever ideas. You are unwilling or unable to...

- Mon May 20, 2019 11:57 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**1746**

### Re: Any science of logic?

LOL.Univalence wrote: ↑Mon May 20, 2019 11:51 pmOh. You did that? Please point me there so I can school you.