17 When it is correct to use Tarski's undefinability theorem versus GĂ¶del's incompleteness theorem? 2011-06-17T17:03:36.753

13 How should we characterize the relationship between mathematics and philosophy of mathematics? 2011-10-22T18:29:57.190

8 Can mathematical sentences in different theories be identified? 2012-05-18T18:57:41.333

4 Is there any possible world in which 2+2=5? 2011-06-11T05:03:23.260

3 Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves T(Godel numeric number of A) iff A 2013-06-05T12:50:29.110

3 Good texts on logicism 2020-09-07T06:10:06.980

-1 Robinson Arithmetic and Church-Turing Thesis 2020-11-30T15:29:41.907