These are the main questions I am trying to give an answer
- Given an universal system is always possible to construct a good fitness function for genetic algorithm approach?
- Is class 2 programs universal?
- When a deductive system , a theorem prover system can speed up an inductive inference ?
- What is the approximate size of “M” ?