[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 9 KB, 200x200, Tautology-Clock.jpg [View same] [iqdb] [saucenao] [google]
6192120 No.6192120 [Reply] [Original]

What if everything we know, is everything we know?

>> No.6192125

>>6192120
Then I we'd know that.

>> No.6192126

At first I thought I misread the question and reread it. Then I realized OP was just a faggot.

>> No.6192981

Nice recursive clock, faggot.

>> No.6192988

If P then Q
Then if if P then Q then P and Q
If P and Q
then P and Q
When P and Q

>> No.6193000

>>6192988
If P and Q
Then Q and P.
If P then Q
not Q
Then not P

>> No.6193001

do you know everything you understand
or
do you understand everything you know

>> No.6193003

>>6193000
What about not P and Q?

>> No.6193019

if (a->a)then OP is a faggot

>> No.6193048

The first rule of tautology threads is the first rule of tautology threads.

>> No.6193052

>>6193003
If P and Q
Not P
So not Q.
If P then Q
P
So Q.
If P or Q
Q
so Q.
If P or Q
P
so P.
If P or Q
P
Q
so P and Q.
If P then Q
not P
so unknown.

>> No.6193076
File: 2.00 MB, 391x237, 1335197848066.gif [View same] [iqdb] [saucenao] [google]
6193076

>>6193048
lol'd

>> No.6193874

Has anyone really been far even as decided to use even go want to do look more like?

>> No.6193910

>>6193048
>>6193076
I thought /sci/ was condescending to xkcd?

>> No.6196030

But u cannot know nuthin.

>> No.6197746

Isn't that what axioms are?

In which case "axioms are tautologies" is a tautological axiom.

>> No.6198664

That's not a tautology.

>> No.6198861

>>6197746
mind = blown