Re: Universal grammar

Ron Hardin wrote:
LEE Sau Dan wrote:
"Hans" == Hans Aberg <haberg@xxxxxxxxxx> writes:
Hans> Personally I do not think so. But human written proofs are
Hans> structured so that it is very difficult to expect
Hans> a computer program like a theorem prover/proof checker to
Hans> parse it. The best hope is to get a program that
Hans> is sufficiently general so that a human can write theorems
Hans> and proofs anew in it. This then is essentially the same
Hans> problem as trying to parse other human written text.

You mean you want to write the theorems in the Prolog language, and
then use a Prolog engine to automatically construct the proofs?

I see in the current Critical Inquiry

``After four decades of research, development, and innovation in
information technology, computers are becoming more humanlike in their
behaviors. Research programs are underway to give computers ``emotions''
(although as software programs they remain very different from human
emotions mediated by the endocrine system and complex cortical feedback
loops). Object-oriented languages such as C++ are designed to mimic
in their structure and syntax human-only languages, making possible
more intuitive communication between humans and computers.''

N Katherine Hayes ``Trauma and Computer Code'' Critical Inquiry 33.1 p.156

These are intellectuals.

Remind me not to read 'Critical Inquiry'.

Colin
.

Relevant Pages

  • Re: Universal grammar
    ... Hans> Personally I do not think so. ... Research programs are underway to give computers ``emotions'' ... Object-oriented languages such as C++ are designed to mimic ...
    (sci.lang)
  • Re: Universal grammar
    ... Ron Hardin wrote: ... Hans> parse it. ... Hans> problem as trying to parse other human written text. ... Research programs are underway to give computers ``emotions'' ...
    (sci.lang)
  • Re: export and import data from mysql database
    ... } 1 hans 1 ... pc4's mapping address in PC3, to force PC3 access another IP address ... My problem is how to parse this file to each ... export/import function? ...
    (comp.lang.tcl)
  • Re: Universal grammar
    ... Hans> parse it. ... Hans> is sufficiently general so that a human can write theorems ... Hans> problem as trying to parse other human written text. ... a Prolog engine must be rewritten to ...
    (sci.lang)
  • Re: Universal grammar
    ... Hans> Personally I do not think so. ... Hans> is sufficiently general so that a human can write theorems ... Hans> problem as trying to parse other human written text. ... You mean you want to write the theorems in the Prolog language, ...
    (sci.lang)