About Shawn

About Self-medicator of philosophy. You can read that as a seeker of 'edification'.
Location The doctor is ready for you.
Posts 12,607
Joined
Last Active
Site Role Member, Guest Speaker Questioner
Favourite philosophers Plato, Stoics, Wittgenstein, Kripke, Harry Frankführer
Favourite quotations If the methodology cannot be entertained as true, then the outcome must be ascertained as the proof of the methodology. If the methodology is determined by the outcome of the truth of the issue, then those more concerned with truth itself are going to, at least, have the moral superior outcome.

-Myself, and seemingly no methodology satisfied the premise.
****
Important point:
Gödel's incompleteness theorem applies to formal languages with countable alphabets. So it does not rule out the possibility that one might be able to prove 'everything' in a formal system with an uncountable alphabet OR expand the alphabet to account for new variables.
****