Yes! To both. Calling Tupper's formula "self-referential" (which he did not) is essentially cheating: https://shreevatsa.wordpress.com/2011/04/12/how-does-tupp

Yes! To both. Calling Tupper's formula "self-referential" (which he did not) is essentially cheating: https://shreevatsa.wordpress.com/2011/04/12/how-does-tuppers-self-referential-formula-work/ https://shreevatsa.wordpress.com/2011/04/12/how-does-tuppers... But someone has made one where the output contains everything: http://jtra.cz/stuff/essays/math-self-reference/ http://jtra.cz/stuff/essays/math-self-reference/ A little discussion on Reddit: http://www.reddit.com/r/math/comments/i75t1/tuppers_formula_popular_topic_here_few_days_ago/ http://www.reddit.com/r/math/comments/i75t1/tuppers_formula_...