Search found 4048 matches

by Logik
Sun Apr 07, 2019 2:32 pm
Forum: Metaphysics
Topic: Dilemma of beginning of time
Replies: 385
Views: 7548

Re: Dilemma of beginning of time

I still don't know what people think would be logically impossible about the idea of an infinite past with a beginning. Appart from being inconceivable for them. Nothing very new here, though. EB The problem with every single one of your arguments is the error of all Cartesian dualism. You conceptu...
by Logik
Sun Apr 07, 2019 9:44 am
Forum: Gender Philosophy
Topic: Hypocrisy against women
Replies: 253
Views: 5951

Re: Hypocrisy against women

against the irredeemably evil "Left" as a kind of desperate holy war that must be won at all costs or disaster will follow. The hardest war of all is fighting against a faceless nemesis. The process of personifying and projecting one's self-loathing onto others is incredible to watch and pity at th...
by Logik
Sun Apr 07, 2019 9:20 am
Forum: Metaphysics
Topic: What is time?
Replies: 315
Views: 5605

Re: What is time?

Sounds like something is wrong... a true theory should be able to draw up rules that work for all sizes, no? Scale invariance is the biggest horseshit humanity has come up with. What is "wrong" is the human ideal/expectation of scale invariance. For as long as we rely on Occam's bias for selecting ...
by Logik
Sun Apr 07, 2019 9:04 am
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Succinctly Refuted

For example the current set of human knowledge could be encoded entirely as relations between integers. When a human language is mapped to these relations a human could talk to this omniscient machine. The machine would still know what it knows entirely on the basis of its relations between integer...
by Logik
Sun Apr 07, 2019 8:14 am
Forum: Logic and Philosophy of Mathematics
Topic: Is there a sentence that proves itself is not provable?
Replies: 100
Views: 2089

Re: Is there a sentence that proves itself is not provable?

"This sentence is false" is semantically unsound. It's not unsound. It is an intentionally formulated sentence and as far as I can tell all intent is semantically sound. The intention of the sentence is to express the concept of self-reference/recursion. The reason it seems like a paradox is becaus...
by Logik
Sun Apr 07, 2019 7:43 am
Forum: Logic and Philosophy of Mathematics
Topic: Is there a sentence that proves itself is not provable?
Replies: 100
Views: 2089

Re: Is there a sentence that proves itself is not provable?

Like I said OUT-OF-SCOPE. I break his whole proof right here: What does "out of scope" mean? I have given you an algorithm which satisfies the requirement which you put forth. True(F, G) ↔ ~(F ⊢ G) The Ruby algorithm I gave you satisfies the above. If that's "out of scope" then give me a formal exp...
by Logik
Sun Apr 07, 2019 7:38 am
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

I understand that is the most conventional way of looking at it, yet not the only way. it is possible to merge the Tarski Meta-language and object language into a single language that essentially interprets its own semantic meaning. Yes. This is what every programming language does. Self-compiling ...
by Logik
Sun Apr 07, 2019 12:23 am
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

That is a BELIEF and not a FACT. Surely you know this. Sure. In exactly the same way Evolution is a belief and not a fact. Oh! Oh! But evolution is a physical process. And all physical processes can be simulated on a Turing machine. Which is why we have cellular evolutionary algorithms: https://en....
by Logik
Sun Apr 07, 2019 12:03 am
Forum: General Philosophical Discussion
Topic: These are major assumptions that make sense
Replies: 112
Views: 3381

Re: These are major assumptions that make sense

11011 wrote:
Sat Apr 06, 2019 9:59 pm
what is morality?

have we addressed this issue yet?

of course the definition we all agree on provides the basis for accepting or rejecting any particular viewpoint or argument.
I have absolutely no idea what morality is.

But I know that extinction is the worst thing that could befall humanity.
by Logik
Sat Apr 06, 2019 11:19 pm
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

It could all be "just physics" but definitely not "just computation." Huge difference. You are mistaken Conceptually the fields of computation, physics and mathematics are isomorphic. Church–Turing–Deutsch principle A universal computing device can simulate every physical process. Lambda calculus L...
by Logik
Sat Apr 06, 2019 10:49 pm
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Succinctly Refuted

Example. I am sitting in my favorite chair reading a favorite book. The experience brings back memories of the first time I read that book, the people I knew and the experiences I was having at the time. That's meaning. Memory recall is meaning? We can do that in algorithms. That's so disingenuous ...
by Logik
Sat Apr 06, 2019 8:52 pm
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

wtf wrote:
Sat Apr 06, 2019 8:41 pm
Stop lying.
Stop falsely accusing me of lying and correct my error.

Are you looking to mud-wrestle like a pig or exchange ideas?
by Logik
Sat Apr 06, 2019 8:43 pm
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

But you did not claim that. You claimed that bit flipping -- computation -- can explain meaning. I didn't claim that? Firstly bit-flipping is an instance of computation. In particular digital (boolean) computation. Which suggests that your conception and my conception of what "computation" is are v...
by Logik
Sat Apr 06, 2019 8:39 pm
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

You know, I used to believe that this is basic, blatantly obvious even to many children. And yet here we have this "philosophy" forum, full of grown people who have no clue about it. Well, I don't know. Both of you "grown people" seem to be arguing that meaning is not in the realm of physics. OK th...
by Logik
Sat Apr 06, 2019 8:36 pm
Forum: Logic and Philosophy of Mathematics
Topic: Tarski Undefinability Theorem Succinctly Refuted
Replies: 106
Views: 2376

Re: Tarski Undefinability Theorem Reexamined

I just don't like sacred cows. Not even the sacred cows that there's something magical going on in my head. It's just physics. Can't you challenge yourself to do better? I have no idea how to do any "better" than physics. So you are doubling down claiming I said something I never said. Well have a ...