G asserts its own unprovability in F

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: G asserts its own unprovability in F

Post by PeteOlcott »

Agent Smith wrote: Wed May 03, 2023 4:05 am
PeteOlcott wrote: Wed May 03, 2023 4:00 am
Agent Smith wrote: Wed May 03, 2023 3:51 am

The follow-up question be obvious then, eh? :)
I don't know what you mean.
I am looking into epistemological entailment also called epistemological closure.

It only took me a few minutes to address: The Gettier problem
Knowledge is not merely a justified true belief

Knowledge is a fully justified true belief such the the justification
conclusively proves that the belief is true.
We're reading the same book then! You're a good person PeteOlcott. I'm on Khan Academy and I own about 20 Tenacity badges. You earn them when you fall and get up ... many, many times ... figuratively speaking.

Follow the links ... Gödel's proof is a nightmare of them.
I didn't read any book about it, I figured it out myself.
Why is {The Gettier problem} still considered an open issue?
User avatar
Agent Smith
Posts: 1442
Joined: Fri Aug 12, 2022 12:23 pm

Re: G asserts its own unprovability in F

Post by Agent Smith »

PeteOlcott wrote: Wed May 03, 2023 4:17 am
Agent Smith wrote: Wed May 03, 2023 4:05 am
PeteOlcott wrote: Wed May 03, 2023 4:00 am

I don't know what you mean.
I am looking into epistemological entailment also called epistemological closure.

It only took me a few minutes to address: The Gettier problem
Knowledge is not merely a justified true belief

Knowledge is a fully justified true belief such the the justification
conclusively proves that the belief is true.
We're reading the same book then! You're a good person PeteOlcott. I'm on Khan Academy and I own about 20 Tenacity badges. You earn them when you fall and get up ... many, many times ... figuratively speaking.

Follow the links ... Gödel's proof is a nightmare of them.
I didn't read any book about it, I figured it out myself.
Why is {The Gettier problem} still considered an open issue?
Congratulations!

So there are these 2 guys, Smith and Jones. They both apply for a job in Sparkling Water Company. The interviewer tells Smith that Jones will be hired. Smith also knows that Jones has 10 coins in his pocket. In a dazzling display of deduction Smith tells himself that the man with 10 coins in his pocket will be selected.

Later ...

Smith is the one the company asks to write a joining report. Smith shoves his hand into his pocket ... coins ... 1 ... 2 ... 3 ... 4 ... 5 ... 6 ... 7 ... 8 ... 9 ... 10!!

From this point on ... Achlys and Caligo and Nox and ... good night, sweet dreams.
Post Reply