## Search found 844 matches

- Fri Aug 09, 2019 8:30 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Simplest possible notion of a formal system
- Replies:
**69** - Views:
**1396**

### Re: Simplest possible notion of a formal system

I am not talking about numbers. I am talking about anything that can possibly be said by anyone about anything. https://plato.stanford.edu/entries/analytic-synthetic/ This explicitly includes every single detail about every aspect of every mathematical system along with the semantics of every mathe...

- Fri Aug 09, 2019 8:17 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Simplest possible notion of a formal system
- Replies:
**69** - Views:
**1396**

### Re: Simplest possible notion of a formal system

When I refer to the entire body of conceptual knowledge why the Hell would you think that I am only talking about arithmetic? Is the restriction of your system with to arithmetic of the natural numbers the same as TA then? And as far as why I'd ask. YOU are the one talking about the Halting problem...

- Fri Aug 09, 2019 7:47 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Simplest possible notion of a formal system
- Replies:
**69** - Views:
**1396**

### Re: Simplest possible notion of a formal system

Copyright 2019 Pete Olcott Curses! I was just going to steal this and publish it as my own. Ok Pete, seriously, I cannot distinguish your system from what's known as True Arithmetic, the set of all true statements about the integers. But I've seen you deny (on Reddit I believe) that your system is ...

- Mon Jul 29, 2019 1:09 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems
- Replies:
**71** - Views:
**2318**

- Sun Jul 28, 2019 11:49 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems
- Replies:
**71** - Views:
**2318**

### Re: Eliminating Undecidability and Incompleteness in Formal Systems

The Sanskrit page doesn't cover the technical aspect. Starti with Panini grammar. I believe I already acknowledged your general point; but I can't understand the specific reference to such a narrow technical area, what some ancient writer said about an ancient language. I am afraid I can't dive int...

- Sun Jul 28, 2019 11:39 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems
- Replies:
**71** - Views:
**2318**

### Re: Eliminating Undecidability and Incompleteness in Formal Systems

Sanskrit is basically a formalised (axiomatised?) natural language by virtue of Sanskrit speakers voluntarily adhering to Pāṇini's grammar rules as best as possible. Or would that make Sanskrit a naturalised axiomatic language? I read the Wikipedia article on Sanskrit and I did not discern any conn...

- Sat Jul 27, 2019 6:17 am
- Forum: Philosophy of Science
- Topic: Effect of human activity on climate change is insignificant
- Replies:
**207** - Views:
**4278**

### Re: uwot

rs]). This bartender & her misbegotten notions is just what came to mind; there are other folks in high places with equally nutty plans. It's not intended as a specific plan. It's a stake in the ground to move the conversation. I guess that's a mangled metaphor. She has raw feral political brillian...

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

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

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

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

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

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

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

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

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