Talk:Components of Research

From GSLISWiki

Jump to: navigation, search

Thinking of Godel, is it possible to create "internally complete" formal systems?

I don't know. I think if the system is simple enough (predicate logic?), yes, but not if you want it to be able to capture the full complexities of our (mental) world. But I don't know squat about this stuff. I was simply including the concept of Formal Systems Research like Math and Philosophy to be comprehensive. Hence why Allen should edit this page. -Ingbert

Personal tools