Re: Completeness & consistency, was: A sad thread

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

[view in full thread]

From: Duncan Patton a Campbell <campbell@...>

To: <degeneracypressure@...>

Cc: <misc@...>, <schwarze@...>, Reid Nichol <rnichol_rrc@...>

Subject: Re: Completeness & consistency, was: A sad thread

Date: Tuesday, January 8, 2008 - 3:41 am

On Mon, 7 Jan 2008 20:09:47 -0500
"Eliah Kagan" wrote:

> For the record, I do not believe that there is necessarily no complete

quoted text

> and entirely correct *physical* theory "out there" to be discovered.

Is it not the case that you can show that you cannot prove a system
both complete and consistent? ---> doesn't mean there is no "God"
just that you cannot prove it.

Dhu

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:

A sad thread - RMS vs. OpenBSD, Mihai Popescu B. S., (Sun Jan 6, 4:37 pm)

Re: A sad thread - RMS vs. OpenBSD, L, (Sun Jan 6, 7:36 pm)

Re: A sad thread - RMS vs. OpenBSD, chefren, (Sun Jan 6, 7:16 pm)

Re: A sad thread - RMS vs. OpenBSD, Matthew Szudzik, (Sun Jan 6, 10:38 pm)

Re: A sad thread - RMS vs. OpenBSD, Eliah Kagan, (Sun Jan 6, 11:21 pm)

Re: A sad thread - RMS vs. OpenBSD, Duncan Patton a Campbell, (Mon Jan 7, 3:37 am)

Re: A sad thread - RMS vs. OpenBSD, William Boshuck, (Mon Jan 7, 1:02 pm)

Re: A sad thread - RMS vs. OpenBSD, Duncan Patton a Campbell, (Mon Jan 7, 5:14 pm)

Re: A sad thread - RMS vs. OpenBSD, Reid Nichol, (Mon Jan 7, 4:02 am)

Completeness & consistency, was: A sad thread, Ingo Schwarze, (Mon Jan 7, 3:24 pm)

Re: Completeness & consistency, was: A sad thread, Reid Nichol, (Mon Jan 7, 8:47 pm)

Re: Completeness & consistency, was: A sad thread, Tony Abernethy, (Tue Jan 8, 3:17 am)

Re: Completeness & consistency, was: A sad thread, Predrag Punosevac, (Mon Jan 7, 9:14 pm)

Re: Completeness & consistency, was: A sad thread, Eliah Kagan, (Mon Jan 7, 9:09 pm)

Re: Completeness & consistency, was: A sad thread, Duncan Patton a Campbell, (Tue Jan 8, 3:41 am)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Mon Jan 7, 6:18 am)

Re: A sad thread - RMS vs. OpenBSD, Eliah Kagan, (Mon Jan 7, 5:22 am)

Re: A sad thread - RMS vs. OpenBSD, Richard Stallman, (Mon Jan 7, 1:15 pm)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Mon Jan 7, 4:00 am)

Re: A sad thread - RMS vs. OpenBSD, Reid Nichol, (Mon Jan 7, 4:26 am)

Re: A sad thread - RMS vs. OpenBSD, Duncan Patton a Campbell, (Mon Jan 7, 5:18 am)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Mon Jan 7, 5:41 am)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Sun Jan 6, 11:51 pm)

Re: A sad thread - RMS vs. OpenBSD, Francisco J. Tsao Santin, (Sun Jan 6, 9:23 pm)

Re: A sad thread - RMS vs. OpenBSD, chefren, (Tue Jan 8, 1:48 pm)


linux-kernel:
Jan Engelhardt	intel iommu (Re: -mm merge plans for 2.6.23)
Greg Kroah-Hartman	[PATCH 001/196] Chinese: Add the known_regression URI to the HOWTO
Linus Torvalds	Linux 2.6.25-rc4
Jon Smirl	Re: 463 kernel developers missing!
git:

linux-netdev:
Gerrit Renker	[PATCH 27/37] dccp: Integration of dynamic feature activation - part 2 (server side)
David Miller	[GIT]: Networking
Jarek Poplawski	Re: HTB accuracy for high speed
David Miller	Re: [PATCH] pkt_sched: Destroy gen estimators under rtnl_lock().
openbsd-misc:

Re: Completeness & consistency, was: A sad thread

Online users