Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.java.programmer > #2628

Re: The halting problem revisited

From Lawrence D'Oliveiro <ldo@geek-central.gen.new_zealand>
Newsgroups comp.lang.java.programmer
Subject Re: The halting problem revisited
Followup-To comp.lang.java.programmer
Date 2011-03-31 16:08 +1300
Organization Geek Central
Message-ID <in0r85$nmd$6@lust.ihug.co.nz> (permalink)
References (12 earlier) <Bell-20110329215025@ram.dialup.fu-berlin.de> <3b57f0d5-ca93-402a-afc1-b4ae4f413f47@j13g2000pro.googlegroups.com> <8vfb2lFngjU1@mid.individual.net> <imu7e9$n76$1@news.albasani.net> <8vgtkiFikcU2@mid.individual.net>

Followups directed to: comp.lang.java.programmer

Show all headers | View raw


In message <8vgtkiFikcU2@mid.individual.net>, Dirk Bruere at NeoPax wrote:

> I think you will find that paradox has a way of canceling itself out

The point is that you cannot deduce anything from a paradox without assuming 
that logic still holds.

Back to comp.lang.java.programmer | Previous | NextPrevious in thread | Next in thread | Find similar


Thread

Re: The halting problem revisited Joshua Maurice <joshuamaurice@gmail.com> - 2011-03-29 12:42 -0700
  Re: The halting problem revisited Joshua Maurice <joshuamaurice@gmail.com> - 2011-03-29 16:27 -0700
    Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 01:16 +0100
      Re: The halting problem revisited Lew <noone@lewscanon.com> - 2011-03-29 23:18 -0400
        Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:39 +0100
          Re: The halting problem revisited Lawrence D'Oliveiro <ldo@geek-central.gen.new_zealand> - 2011-03-31 16:08 +1300
          Re: The halting problem revisited Lew <noone@lewscanon.com> - 2011-03-31 08:34 -0400
      Re: The halting problem revisited Joshua Maurice <joshuamaurice@gmail.com> - 2011-03-30 04:04 -0700
        Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:47 +0100

csiph-web