Hi everything-list Perhaps Penrose's emphasis of intution, and the noncomputability thereof, is that intuition is is closely related to meaning, to semantics. I think that a necessary feature of any machine to emulate human thought is to be able to understand meaning, the science of which is called semantics.
My limited understanding of current semantics is that meaning is represented syntactically (sentence diagramming). Peirce seems to have abandoned arithmetic reasoning (I may have overstated that) in favor of a new, semiotic or graphics-based reasoning (semiotics), which is as vital to understand as it is difficult. One can even conceive of an iconic- or graphics-based computer. See below for an alternate discussion of this topic: http://jeannicod.ccsd.cnrs.fr/docs/00/05/33/40/HTML/index.html "The central idea developed in Peirce's account of necessary deductive reasoning is that it proceeds by constructions of diagrams, which are a species of icons. This is as true for logical reasoning as it is for mathematical reasoning, which is in fact the paradigm of deduction. Such a conception has important bearings not only for a conception of iconic logic, but for certain peculiarities that are attached to mathematical deduction as well. 3.1 The main characters of the icon An icon is a sign which 'refers to the Object that it denotes merely by virtue of characters of its own, and which it possesses just the same, whether any such Object actually exists or not' (2. 247). " <SNIP> "The first things I found out were that all mathematical reasoning is diagrammatic and that all necessary reasoning is mathematical reasoning, no matter how simple it may be. By diagrammatic reasoning, I mean reasoning which constructs a diagram according to a precept expressed in general terms, performs experiments upon this diagram, notes their results, and expresses them in general terms. This was a discovery of no little importance, showing as it does, that all knowledge comes from observation. " [Roger Clough], [[email protected]] 11/30/2012 "Forever is a long time, especially near the end." -Woody Allen -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
