Green, Yellow, and Red Flowchart #2
Green Yellow Red Flowchart #2
This is a sequel to the previous green, yellow, red flowchart
regarding the status of Con(PA) and related statements.
The Indiana Jones "snake surprise" reference
(from the Temple of Doom, of course)
is a joke on the fact that the inner model M_2
is closed under the operation the maps each x to M_1(x).
The "you will become a true believer" joke is simply
that even if you do not believe that a precise
mathematical statement has a definite answer,
you can spit that belief out just like Indie
when it comes time to get crap done.
Note: one might object to a statement like
"Con(PA)? has no answer" in the flowchar below.
It might be more appropriate to write
"belief in Con(PA) corresponds to faith in Con(PA)".