Posted 23 February 2011 - 11:55 AM
I just joined this forum, and since end the end of last year my Interest in artificial intellegence and robotics has shot up.
I was just reading a book called paradim shift (forgot the author) and he explains what formal systems are.
I just wanted to know whether its possible to code the basics of a language( symbols, rules) to a computer and then allow the computer to deduce what kind of words and sentances it can construct based on those rules.
The understanding of these sentences will of course be other issue.
Posted 23 February 2011 - 05:35 PM
It is a standard reference on the topic and will answer all your questions. Be sure you're good in maths.
Posted 24 February 2011 - 04:22 AM
Just hope you don't get quizzed on it.
Game engine design tutorials
Posted 13 December 2011 - 07:50 AM
Something that has been bothering me though... It seems like it should be possible to create complete and consistent formal systems with an infinite number of axioms. It would, of course, be equivalent to the halting problem to enumerate the first n axioms of such a system, since we would define axiom n as the first statement (given by some arbitrary "alphabetical" order, the definition of which would also define the system) which cannot be proved nor disproved given the first n-1 axioms.
Indeed, we couldn't program a computer to use this system, but... What could we learn from considering such a system?
Or more practically, what could we learn from systems that are complete and consistent "locally" (for lack of a better term)? i.e. formal systems which only allow a limited number of inferences? (In this case, there are well-defined procedures to determine if a given statement is a theorem) Do non-trivial systems of this type even exist?
If anyone knows of literature on these kinds of systems (or e.g. a name for them for me to put into Google), I would love to know about it
Posted 13 December 2011 - 06:13 PM
And there are systems that are complete and consistent, such as Euclidean geometry and the propositional calculus, IIRC. Of course in these systems you cannot represent natural numbers (and compute with them), since then they would be subject to the incompleteness theorems. So these systems are of necessity limited in expressiveness, but I would not think that they are trivial.
As for your idea of creating a system by repeatedly adding some undecidable proposition to the axioms, that sounds interesting but I don't know where there might be any literature on that. It's not clear that it's a well-defined formal system since one usually requires the set of axioms to be computably decidable, but I think in your case it would only be computably enumerable.
1 user(s) are reading this topic
0 members, 1 guests, 0 anonymous users