There are two kinds of search you can perform on MindPapers:
This mode searches for entries containing the entered words in their title, author, date, comment field, or in any of many other fields showing on MindPapers pages. Entries are ranked by their relevance as calculated from the informativeness of the words they contain and their numbers. You may search for a literal string composed of several words by putting them in double quotation marks (")
This mode searches for entries containing the text string you entered in their author field. Note that the database does not have first names for all authors, so it is preferable to search only by surnames. If you search for a full name or a name with an initial, enter it in the format used internally by MindPapers, namely the "Lastname, Firstname" or "Lastname, F." format.
Remember: viewing options in the menu above affect the results you get when searching.
Note that short and / or common words are ignored by the search engine.
Abstract: Arguments to the effect that Church's thesis is intrinsically unprovable because proof cannot relate an informal, intuitive concept to a mathematically defined one are unconvincing, since other 'theses' of this kind have indeed been proved, and Church's thesis has been proved in one direction. However, though evidence for the truth of the thesis in the other direction is overwhelming, it does not yet amount to proof