Yeah I am interested in the subject as well. Kinda sceptical about how the IT applies to more abstracted philosophical thought. Post-Modernists have used it extensively to underline that no formal logical system can be free of recursion, and thusly any logical argument can be reduced to a number of self-referential fallacies. Whereas I can't argue the opposite, it seems to me that the very basis of existence (sentience, a man realizing that he himself exists) is inherently self-referential, and so instead of approaching recursion as a 'showstopper' in formal logic, where if it exists, and since it always exists, nothing can be proven, and all interactive codification is pointless, it must be somehow integrated into our mode of thinking. Principa Mathematicia was not a step in the right direction, because it was quite reactionary, trying instead to create a formal system in which recursion would be impossible. This created such a system that was very very impractical (in which a level could only refer to levels before it, but not to itself, or the ones above it) but also, which was later proven to suffer from recursion also.