Re: Definition of AI.

"The question of whether a computer can think is no more interesting
than the question of whether a submarine can swim."

- Edsger W. Dijkstra

Dijkstra pretty much sums up my view.

David

On Jan 24, 10:10 pm, "Nam D. Nguyen" <namducngu...@xxxxxxx> wrote:
I think we could entertain a definition of AI (Artificial Intelligence),
by way of 1st Order formalization. A formal system T is said to be about
AI (or an AI system) iff:

1) T is consistent.
2) There exists a formula F1 which is a theorem in T.
3.a) There exists a formula F2 which is undecidable in T.
3.b) F2 is syntactically a part of F1.

.

Relevant Pages

  • Re: Definition of AI.
    ... Edsger W. Dijkstra ... by way of 1st Order formalization. ... A formal system T is said to be about ...
    (sci.logic)
  • Re: Definition of AI.
    ... Edsger W. Dijkstra ... Dijkstra pretty much sums up my view. ... by way of 1st Order formalization. ... A formal system T is said to be about ...
    (sci.logic)
  • Re: Definition of AI.
    ... Dijkstra pretty much sums up my view. ... that if it looks like a duck, walks like a duck, and quacks ... A formal system T is said to be about ... messaging or Inter-Relay Chat server, ...
    (sci.logic)
  • Re: Definition of AI.
    ... Dijkstra pretty much sums up my view. ... that if it looks like a duck, walks like a duck, and quacks ... A formal system T is said to be about ... messaging or Inter-Relay Chat server, ...
    (sci.logic)
  • [9fans] Great Works in Programming Languages
    ... intersting this rates "pretty great" ... Edsger W. Dijkstra. ... Go to statement considered harmful. ...
    (comp.os.plan9)