Past Events

MathWorld: Pseudoprimes MathWorld: Pseudoprimes- Articles about many types of pseudoprimes. MathPages: Symmetric Pseudoprimes MathPages: Symmetric Pseudoprimes- A pseudoprime type based on symmetric functions. Basic propositions and computational techniques. Manindra Agrawal Manindra Agrawal- Papers including "PRIMES is in P" by Agrawal, Kayal and Saxena (AKS). It presents a polynomial-time primality proving algorithm for any number. Primality Proving Primality Proving- Covers different types of primality tests, such as quick, classical and general purpose prime filters. Page includes bibliography. University of Oxford University of Oxford- Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange. University of St. Andrews University of St. Andrews- Department of Computer Science, Computational Logic group. Members, events, publications, collaborators. University of Leeds University of Leeds- Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis a… Guglielmi, Alessio Guglielmi, Alessio- Technical University of Dresden, Germany. Boolos, George Boolos, George- Massachusetts Institute of Technology, USA (Wikipedia article). Verbrugge, Rineke Verbrugge, Rineke- University of Groningen, the Netherlands. Beklemishev, Lev Beklemishev, Lev- Utrecht University, the Netherlands and Steklov Mathematical Institute, Russia. Van Benthem, Johan Van Benthem, Johan- University of Amsterdam, the Netherlands and Stanford University, USA. Japaridze, Giorgi Japaridze, Giorgi- Villanova University, USA. De Cock, Martine De Cock, Martine- Ghent University, Belgium. Research project: intelligent information technologies for the internet. Cornelis, Chris Cornelis, Chris- University of Ghent, Belgium. Kruse, Rudolf Kruse, Rudolf- University of Magdeburg, Germany. Zadeh, Lofti Zadeh, Lofti- University of California - Berkeley, USA. Mendel, Jerry Mendel, Jerry- University of Southern Carolina, USA. Ernst Friedrich Ferdinand Zermelo Ernst Friedrich Ferdinand Zermelo- Describes educational background and motivation towards working on set theory and the continuum hypothesis. Page lists other major contributions… Ernst Zermelo Ernst Zermelo- Biography from the MacTutor History of Mathematics archive. What was Alan Turing really like? What was Alan Turing really like?- The BBC interviews two women who, as children, knew Alan Turning. Alan Turing Year Alan Turing Year- Site for the 2012 Turing Centenary. Comprehensive list of events. Turing Digital Archive Turing Digital Archive- Digital archive of items relating to Alan Turing hosted at King's College, Cambridge. Alan Turing: Inquest’s suicide verdict “not supportable” Alan Turing: Inquest’s suicide verdict “not supportable”- The BBC reports on new doubt about whether Alan Turning committed suicide. Alan Turing Alan Turing- Biographical entry in the FOLDOC. Alan Turing Alan Turing- Encyclopedia biography from Wikipedia. Alan Turing Papers Alan Turing Papers- Collection record of Turings papers at Kings College, Cambridge. Alan M. Turing Alan M. Turing- Entry from the Stanford Encyclopedia of Philosophy by Andrew Hodges. On Computable Numbers with an Application to the Entscheidungsproblem On Computable Numbers with an Application to the Entscheidungsproblem- Turing's paper which discusses the halting problem in the context of Gödel's Incompleteness Theorem. HTML. Alan Turing Archive Alan Turing Archive- Archive and historical records pertaining to the work of computing pioneer Alan Turing.