Search found 7 matches

by m00tykins
Fri Jul 22, 2016 1:40 am UTC
Forum: Mathematics
Topic: The liar paradox as a basis for kantian metaphysics
Replies: 11
Views: 3637

Re: The liar paradox as a basis for kantian metaphysics

According to conventional logic which doesn't treat truth as a set, that would state the liar paradox is false. Well that's not true. After all, if the liar paradox were false, then the sentence itself would be true. I'm not exactly sure why truth should be assumed just because Arthur Prior said so...
by m00tykins
Fri Jul 22, 2016 1:33 am UTC
Forum: Hardware
Topic: Planned obsolescence and the best computer ever
Replies: 10
Views: 9803

Re: Planned obsolescence and the best computer ever

I plan on using it for light coding, links2/netsurf-style Web browsing, and as a remote console.

I think kolibrios might be a good choice, apparently it can boot in around 10 seconds off such a computer and has a built in asm ide.
by m00tykins
Thu Jul 21, 2016 2:42 pm UTC
Forum: Mathematics
Topic: The liar paradox as a basis for kantian metaphysics
Replies: 11
Views: 3637

Re: The liar paradox as a basis for kantian metaphysics

When you draw the conclusion ~∃x{x≡~(x∈T)}, that's not saying that "this sentence is false" is false. It's saying that "this sentence is false" doesn't exist . That's what I meant. Kind of. According to conventional logic which doesn't treat truth as a set, that would state the ...
by m00tykins
Wed Jul 20, 2016 9:48 am UTC
Forum: Mathematics
Topic: The liar paradox as a basis for kantian metaphysics
Replies: 11
Views: 3637

The liar paradox as a basis for kantian metaphysics

Hello Let us assume there is a set, called T, such that for all x, if x is true then x is a member of T. ∀x{x ⊨ (x∈T)} Let us assume x. Therefore, x∈T. Let us assume x∈T. Therefore, (x∈T)∈T etc... --- Let us assume ∃x{x≡~(x∈T)}. This obviously results in ~x∈T & x∈T. This is the liar paradox. The...
by m00tykins
Wed Jul 20, 2016 5:56 am UTC
Forum: Mathematics
Topic: λ-calculus + modal logic = unrestrained self-reference
Replies: 2
Views: 2808

Re: λ-calculus + modal logic = unrestrained self-reference

Oh, the liar paradox? I solved that two years ago. :P


Spoiler:
Truth is a set
by m00tykins
Wed Jul 20, 2016 5:05 am UTC
Forum: Religious Wars
Topic: Openbsd vs. Hardened gentoo et al.
Replies: 0
Views: 7372

Openbsd vs. Hardened gentoo et al.

Which works better for security in the real world? Prevent-all-exploits-by-making-the-code-super-tidy (sel4, muon, coyotos/eros/capros, openBSD) or prevent-damage-after-the-exploit-occurs (hardened gentoo, qubes, selinux, minix 3)? Is it possible to do both?
by m00tykins
Tue Jul 19, 2016 9:19 pm UTC
Forum: Hardware
Topic: Planned obsolescence and the best computer ever
Replies: 10
Views: 9803

Planned obsolescence and the best computer ever

Hey all, It is my impression that when a technology first comes out manufacturers concentrate a lot more on making sure a device will work than on planned obsolescence, with a good example being early vs modern incandescent lightbulbs. And now it is not unheard of for otherwise high quality computin...

Go to advanced search