Overhaul - Githubissues

leonweber commented 9 years ago

Fixed discrepancies between text and summary table. I ommitted the obvious results (provability of T3 and counter-satisfiability of MC) and I also didn't mention the counter-satisfiability of A2' in AOE'. Do you think we should mention the last one?
Added figure depicting Anderson's simplification. Here I am not sure which naming convention would apply to the definition of positive. What do you think?
Moved definitions from footnotes into text. This may need some further shifting around for cosmetic reasons.

leonweber commented 9 years ago

My changes to AOE' make no sense whatsoever. I was playing around with the naming scheme (DP = Definition Positive) and probably altered the wrong figure. Your revert is perfectly fine. Sorry about that.

ceilican commented 9 years ago

No problem. In case you use Mac, I would suggest using the "SourceTree" git client. It allows you to visualize your changes before committing, thus minimizing the chance of non-sensical commits. There should be similar clients for Linux and Windows as well.

FormalTheology / GoedelGod

Overhaul #9