## Search found 762 matches

- Thu Jul 11, 2019 12:22 am
- Forum: Logic and Philosophy of Mathematics
- Topic: The Number System as a Model of The Process of Evolution
- Replies:
**68** - Views:
**1438**

### Re: The Number System as a Model of The Process of Evolution

I think wtf is being an oracle - by way of averaging out of society. Am I raising or lowing the average by leaving? I shouldn't ask. Or am I perhaps a black box that solves the Halting problem? That's an oracle in computer science. Or am I like Pythia, the Oracle of Delphi, forever answering questi...

- Fri Jul 05, 2019 1:37 am
- Forum: Logic and Philosophy of Mathematics
- Topic: The Number System as a Model of The Process of Evolution
- Replies:
**68** - Views:
**1438**

- Wed Jul 03, 2019 7:27 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: The Number System as a Model of The Process of Evolution
- Replies:
**68** - Views:
**1438**

### Re: The Number System as a Model of The Process of Evolution

Oh sorry, wrong thread. Still, isn't it the case that modern evolutionary theory is somewhat different than Darwin's original formulation?commonsense wrote: ↑Wed Jul 03, 2019 4:42 pmComputational complexity? Wasn’t that discussed and dismissed in the thread on complexity theory?

- Wed Jul 03, 2019 3:36 am
- Forum: Logic and Philosophy of Mathematics
- Topic: The Number System as a Model of The Process of Evolution
- Replies:
**68** - Views:
**1438**

### Re: The Number System as a Model of The Process of Evolution

Good answer. Darwin’s model is complete, accurate, elegant and robust. This thread seems to have drifted from computational complexity. But on the subject of evolution, my understanding -- and I'm no biologist -- is that Darwin's theory is no longer considered correct or complete; and that modern e...

- Thu Jun 27, 2019 2:44 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Why Philosophers Should Care About Computational Complexity
- Replies:
**31** - Views:
**831**

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

O(1) = O(yeah!) :D O(log n) = O(nice) :) O(n) = O(ok) :| O(n²) = O(my) :? O(2ⁿ) = O(no) :cry: O(n!) = O(mg!) :x LOL. And here's the original Big O. That's the great Oscar Robertson for you kids out there. https://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/Oscar_Robertson_1960.jpeg/440px-Osca...

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

### 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:
**31** - Views:
**831**

### 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:
**2161**

### 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:
**2161**

### 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:
**2161**

### 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:
**2161**

### 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:
**2161**

### 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:
**2161**

### 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:
**2161**

### 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:
**2161**

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