Michael McGrady's user avatar
Michael McGrady's user avatar
Michael McGrady's user avatar
Michael McGrady
  • Member for 9 years, 11 months
  • Last seen more than 1 year ago
About

My interest generally is in the theory of proofs. My focus is in the foundations of metamathematical logic and in the extant assumptions underlying basic practice, such as that rules of inference must be truth preserving. I think that the foundations are not well-vetted.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Posts

This user hasn’t posted yet.