Re: How to represent computer algorithms using FOL?

From: Frederick Williams <Frederick_Williams@xxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Thu, 07 Sep 2006 01:38:16 GMT

george wrote:

Dan Christensen wrote:

I am interested in representing some simple computer algorithms using first
order logic,

The language is called Prolog.
It does match FOL *exactly* but it does have the advantage

^^^^
Meaning doesn't. :-)

of having been around a long time.

--
Remove "antispam" and ".invalid" for e-mail address.
.

Follow-Ups:
- Re: How to represent computer algorithms using FOL?
  - From: george

References:
- How to represent computer algorithms using FOL?
  - From: Dan Christensen

Prev by Date: Re: Ross A. Finlayson, Question and Answer Period
Next by Date: Re: Question on formalism
Previous by thread: Re: How to represent computer algorithms using FOL?
Next by thread: Re: How to represent computer algorithms using FOL?
Index(es):
- Date
- Thread

Relevant Pages

Re: KT boundry event
... He's talking about LANGUAGE and how science should leave ... That is NOT the same thing as 'changing the meaning'. ... Sachs was arguing against those who wanted to drop the term ... concepts to which they refer." ...
(talk.origins)
Re: KT boundry event
... He's talking about LANGUAGE and how science should leave ... That is NOT the same thing as 'changing the meaning'. ... concepts to which they refer." ... our understanding of 'disease' changes. ...
(talk.origins)
Re: KT boundry event
... He's talking about LANGUAGE and how science should leave ... That is NOT the same thing as 'changing the meaning'. ... Sachs was arguing against those who wanted to drop the term ... concepts to which they refer." ...
(talk.origins)
Re: KT boundry event
... He's talking about LANGUAGE and how science should leave ... That is NOT the same thing as 'changing the meaning'. ... Sachs was arguing against those who wanted to drop the term ... Some here have said that the word 'bird' refers to a theory about avian ...
(talk.origins)
Re: KT boundry event
... He's talking about LANGUAGE and how science should leave ... That is NOT the same thing as 'changing the meaning'. ... Sachs was arguing against those who wanted to drop the term ... concepts to which they refer." ...
(talk.origins)