Re: Definition of AI.
- From: "Nam D. Nguyen" <namducnguyen@xxxxxxx>
- Date: Sun, 28 Jan 2007 01:56:23 GMT
David wrote:
"The question of whether a computer can think is no more interesting than the question of whether a submarine can swim."
- Edsger W. Dijkstra
What make you think I've asked (or intent to ask) that question?
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.
- References:
- Re: Definition of AI.
- From: David
- Re: Definition of AI.
- Prev by Date: Re: Definition of AI.
- Next by Date: Re: Goedel's proof
- Previous by thread: Re: Definition of AI.
- Next by thread: Re: Definition of AI.
- Index(es):
Relevant Pages
|
