Math Logic and Foundations Computability in the Best of the Web Directory

Math Logic and Foundations Computability

  • Church-Turing Thesis

    Discusses the thesis by Church and Turing, concerning the notion of an effective or mechanical method in logic and mathematics.

  • Computability and Complexity in Analysis Network

    Provides information for researchers. Includes list of members, mailing list, bibliography, and links to related conferences, workshops and publications.

  • Hypercomputation Research Network

    Explanatory materials including the AlanTuring.Net Hypercomputation Page and the confusion of Thesis M with the Church-Turing thesis.

  • Problem Solving Environments

    Includes information on PSEs, reading list, conferences, projects and applications tools, Purdue publications, and other related information.

  • Theodore Slaman Homepage

    Includes bibliography, lectures available in pdf, courses and related links.

Submit a site to this category