Date: 2008-06-12 06:17 pm (UTC)
From: [identity profile] diego001.livejournal.com
Yes, it does seem to be a consistent construct. However, one of the results of this construct is that no construct in itself can ever be used to prove the consistency of a given construct. This is what Gödel's theorem proved for just regular arithmetic. As such, there really is no way to truly know whether the construct of computer science - or anything with mathematics for that matter - is really consistent.

Date: 2008-06-12 06:39 pm (UTC)
From: [identity profile] westerling.livejournal.com
Which is similar in essence, I believe, to certain considerations in neurology regarding the ability of the brain to study the brain. These are the paths of reasoning that lead some people to start drinking heavily. :)

Date: 2008-06-12 06:42 pm (UTC)
From: [identity profile] diego001.livejournal.com
In-deed. Or smoking marijuana. :P

Date: 2008-06-12 06:45 pm (UTC)
From: [identity profile] westerling.livejournal.com
Or using the Internets heavily.

Date: 2008-06-12 06:45 pm (UTC)
From: [identity profile] diego001.livejournal.com
Or all of the above, combined!

Date: 2008-06-12 06:48 pm (UTC)
From: [identity profile] westerling.livejournal.com
Whoa. I never thought of that. brb.

Date: 2008-06-12 06:54 pm (UTC)
From: [identity profile] westerling.livejournal.com
Did you ever notice how the internet is, like, the inter-Net? That's so amazing.

Date: 2008-06-12 07:01 pm (UTC)
From: [identity profile] westerling.livejournal.com
Wow, this thread has gone from the sublime to the ridiculous. :)

Date: 2008-06-12 07:02 pm (UTC)
From: [identity profile] diego001.livejournal.com
Isn't that how life is, though?

Date: 2008-06-12 07:08 pm (UTC)
From: [identity profile] westerling.livejournal.com
Mine certainly is. And back again.

Date: 2008-06-12 07:10 pm (UTC)
From: [identity profile] diego001.livejournal.com
From the sublime to the ridiculous again. Yay!

Date: 2008-06-12 07:22 pm (UTC)
From: [identity profile] diego001.livejournal.com
And there again and back again.

Date: 2008-06-13 12:14 am (UTC)
From: (Anonymous)
And back again and there again.

Date: 2008-06-13 12:22 am (UTC)
From: [identity profile] westerling.livejournal.com
Argh, LJ logged me out and I didn't notice. Gr.

Date: 2008-06-13 01:32 am (UTC)
From: [identity profile] bezeldesign.livejournal.com
Isn't "There and back again" the subtitle of The Hobbit? (The Road goes ever on and on...)

Date: 2008-06-13 02:15 am (UTC)
From: [identity profile] westerling.livejournal.com
Indeed it is. :)

Profile

westerling: (Default)
westerling

June 2021

S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728 2930   

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 13th, 2025 04:00 pm
Powered by Dreamwidth Studios