Re: Godel's Incompleteness and Nonmonotonic Logic
From: Student (jagasian_at_mailinator.com)
Date: 08/24/04
- Next message: Peter Olcott: "Re: Can returning a value change the value itself (in the Halting Problem)"
- Previous message: Acid Pooh: "Re: logical paradoxes"
- In reply to: Herman Jurjus: "Re: Godel's Incompleteness and Nonmonotonic Logic"
- Next in thread: Stephan Lehmke: "Re: Godel's Incompleteness and Nonmonotonic Logic"
- Messages sorted by: [ date ] [ thread ]
Date: 24 Aug 2004 16:51:36 -0700
> > Digging a little on the net, I have found at least one notable
> > detractor to nonmonotonic logics, Jean-Yves Girard. In "Girard, J.-Y.
> > : Locus Solum, Mathematical Structures in Computer Science 11, pp.
> > 301-506, 2001." Girard mentions in brief that Nonmonotonic logics fall
> > into the trap of inconsistency/incompleteness.
>
> Could you download this paper somewhere? Where?
Apparently Girard's web page is down:
http://iml.univ-mrs.fr/~girard/Articles.html
I have uploaded a copy to:
http://www.geocities.com/ggxjtwmzohxc/
- Next message: Peter Olcott: "Re: Can returning a value change the value itself (in the Halting Problem)"
- Previous message: Acid Pooh: "Re: logical paradoxes"
- In reply to: Herman Jurjus: "Re: Godel's Incompleteness and Nonmonotonic Logic"
- Next in thread: Stephan Lehmke: "Re: Godel's Incompleteness and Nonmonotonic Logic"
- Messages sorted by: [ date ] [ thread ]
