October 2014 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri Oct 3 16:35:14 EDT 2014
Ending: Fri Oct 31 22:01:01 EDT 2014
Messages: 162

• [FOM] formal proofs (was: Hersh on Flyspeck   Rob Arthan
• [FOM] formal proofs   Jeremy Avigad
• [FOM] formal proofs   Jeremy Avigad
• [FOM] DMV 2015: Call for Proposals   Jeremy Avigad
• [FOM] formal proofs   Steve Awodey
• [FOM] Eradicating Evil?   Steve Awodey
• [FOM] FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?', 12-13 January 2015, London.   Neil Barton
• [FOM] Reference to Friedman 73   Frode Bjørdal
• [FOM] formal proofs (was: Hersh on Flyspeck   Hendrik Boom
• [FOM] Formal verification   Hendrik Boom
• [FOM] formal proofs   Hendrik Boom
• [FOM] formal proofs   Hendrik Boom
• [FOM] Blakers-Massey in ZF and HoTT   Hendrik Boom
• [FOM] formal proofs   Jacques Carette
• [FOM] Hersh on Flyspeck   Timothy Y. Chow
• [FOM] formal proofs /query   Timothy Y. Chow
• [FOM] Nelson's proof assistant   Timothy Y. Chow
• [FOM] formal proofs   Timothy Y. Chow
• [FOM] formal proofs   Timothy Y. Chow
• [FOM] formal proofs   Timothy Y. Chow
• [FOM] Formal Proofs   Timothy Y. Chow
• [FOM] formal proofs   Timothy Y. Chow
• [FOM] New umbrella?   Timothy Y. Chow
• [FOM] CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015   S B Cooper
• [FOM] Fwd: Announcement for FOM   Martin Davis
• [FOM] Hartogs Number   William Elliot
• [FOM] New Umbrella?   Monroe Eskew
• [FOM] New Umbrella?   Monroe Eskew
• [FOM] formal proofs /query   Michael Lee Finney
• [FOM] 548: New Explicitly Pi01   Harvey Friedman
• [FOM] 549: Conservative Growth - beyond triples   Harvey Friedman
• [FOM] formal proofs (was: Hersh on Flyspeck   Harvey Friedman
• [FOM] formal proofs   Harvey Friedman
• [FOM] formal proofs   Harvey Friedman
• [FOM] 550: Foundational Methodology 1/Maximality   Harvey Friedman
• [FOM] formal proofs   Harvey Friedman
• [FOM] 551: Foundational Methodology 2/Maximality   Harvey Friedman
• [FOM] 552: Foundational Methodology 3/Maximality   Harvey Friedman
• [FOM] formal proofs   Harvey Friedman
• [FOM] 553: Foundational Methodology 4/Maximality   Harvey Friedman
• [FOM] Ultimate Rigor?   Harvey Friedman
• [FOM] formal proofs   Harvey Friedman
• [FOM] Formal verification   Harvey Friedman
• [FOM] Formal Proofs   Harvey Friedman
• [FOM] New Umbrella?   Harvey Friedman
• [FOM] New Umbrella?   Harvey Friedman
• [FOM] 554: Foundational Methodology 5/Maximality   Harvey Friedman
• [FOM] Reference to Friedman 73   Harvey Friedman
• [FOM] New Umbrella?   Harvey Friedman
• [FOM] Eradicating Evil?   Harvey Friedman
• [FOM] Eradicating Evil?   Harvey Friedman
• [FOM] 555: Foundational Methodology 6/Maximality   Harvey Friedman
• [FOM] 556: Flat Foundations 1   Harvey Friedman
• [FOM] Concerning Flat Foundations   Harvey Friedman
• [FOM] 557: New Pi01   Harvey Friedman
• [FOM] 558: New Pi01/more   Harvey Friedman
• [FOM] Call for abstracts: JAIST Logic Workshop Series 2015   Hajime Ishihara
• [FOM] job at the University of Colorado   Keith A. Kearnes
• [FOM] Formal verification   Lucas Kruijswijk
• [FOM] Job announcement   Paul Larson
• [FOM] Blakers-Massey in ZF and HoTT   Paul Levy
• [FOM] HoTT unresponsiveness   Paul Levy
• [FOM] HoTT as foundations: a short account   Paul Levy
• [FOM] New umbrella? (Freek Wiedijk)   Paul Levy
• [FOM] Blakers-Massey in ZF and HoTT   Paul B Levy
• [FOM] HoTT as foundations: a short account   Paul B Levy
• [FOM] Blakers-Massey in ZF and HoTT   Paul B Levy
• [FOM] TCAs with oracles   Robert Lubarsky
• [FOM] Question on Distributive Lattices   A. Mani
• [FOM] JOB: professorship on the Mathematical Foundations of Computer Science   Joao Marcos
• [FOM] formal proofs   Till Mossakowski
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Till Mossakowski
• [FOM] Formal verification   Dominic Mulligan
• [FOM] Formal verification   Dominic Mulligan
• [FOM] formal proofs   Dominic Mulligan
• [FOM] Formal verification   Arnold Neumaier
• [FOM] Formal verification   Arnold Neumaier
• [FOM] formal proofs /query   Adriano Palma
• [FOM] Formal verification   Andrei Popescu
• [FOM] formal proofs   David Posner
• [FOM] formal proofs   David Posner
• [FOM] New Umbrella?   David Posner
• [FOM] WoLLIC 2015 - Call for Papers   Ruy de Queiroz
• [FOM] Formal verification   Rempe-Gillen, Lasse
• [FOM] Formal verification   Rempe-Gillen, Lasse
• [FOM] Formal verification   Rempe-Gillen, Lasse
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Rempe-Gillen, Lasse
• [FOM] Formal Proofs   Rempe-Gillen, Lasse
• [FOM] Nelson's proof assistant   David Roberts
• [FOM] formal proofs   David Roberts
• [FOM] formal proofs   David Roberts
• [FOM] formal proofs   David Roberts
• [FOM] formal proofs (was: Hersh on Flyspeck   Sam Sanders
• [FOM] Formal verification   Sam Sanders
• [FOM] formal proofs   Urs Schreiber
• [FOM] formal proofs   Urs Schreiber
• [FOM] formal proofs   Urs Schreiber
• [FOM] formal proofs   Urs Schreiber
• [FOM] Formal verification   Urs Schreiber
• [FOM] Formal Proofs   Urs Schreiber
• [FOM] New Umbrella?   Urs Schreiber
• [FOM] New Umbrella?   Urs Schreiber
• [FOM] New Umbrella?   Urs Schreiber
• [FOM] HoTT as foundations: a short account   Urs Schreiber
• [FOM] New Umbrella?   Urs Schreiber
• [FOM] Eradicating Evil?   Urs Schreiber
• [FOM] Eradicating Evil?   Urs Schreiber
• [FOM] Hersh on Flyspeck   Joseph Shipman
• [FOM] formal proofs   Joseph Shipman
• [FOM] HoTT unresponsiveness   Joseph Shipman
• [FOM] HoTT unresponsiveness   Joseph Shipman
• [FOM] Eradicating Evil?   Joseph Shipman
• [FOM] New Umbrella?   Joseph Shipman
• [FOM] Formal verification   Bas Spitters
• [FOM] formal proofs   Bas Spitters
• [FOM] CCC 2014; postproceedings; call for submission   Dieter Spreen
• [FOM] BLAST Conference   Lukasz T. Stepien
• [FOM] Formal Proofs   Jay Sulzberger
• [FOM] New Umbrella?   Jay Sulzberger
• [FOM] New Umbrella?   Jay Sulzberger
• [FOM] New Umbrella?   Jay Sulzberger
• [FOM] Formal verification   WILLIAM TAIT
• [FOM] formal proofs   Dimitris Tsementzis
• [FOM] formal proofs (was: Hersh on Flyspeck   Josef Urban
• [FOM] formal proofs   Josef Urban
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Tjark Weber
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Tjark Weber
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Dustin Wehr
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Dustin Wehr
• [FOM] RE Formal Proof   Alan Weir
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Nelson's proof assistant   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] Ultimate Rigor?   Freek Wiedijk
• [FOM] formal proofs   Freek Wiedijk
• [FOM] formal proofs   Freek Wiedijk
• [FOM] formal proofs   Freek Wiedijk
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Freek Wiedijk
• [FOM] Formal verification   Freek Wiedijk
• [FOM] HoTT as foundations: a short account   Freek Wiedijk
• [FOM] formal proofs   Freek Wiedijk
• [FOM] New umbrella?   Freek Wiedijk
• [FOM] New Umbrella?   Freek Wiedijk
• [FOM] HoTT as foundations: a short account   Freek Wiedijk
• [FOM] formal proofs   croux at andrew.cmu.edu
• [FOM] Formal verification   croux at andrew.cmu.edu
• [FOM] formal proofs   croux at andrew.cmu.edu
• [FOM] Formal verification   martdowd at aol.com
• [FOM] Formal verification   martdowd at aol.com
• [FOM] Eradicating Evil?   martdowd at aol.com
• [FOM] I: CFP: Acta Baltica Historiae et Philosophiae Scientiarum   pisanoraffaele at iol.it
• [FOM] formal proofs (was: Hersh on Flyspeck   katzmik at macs.biu.ac.il
• [FOM] Nelson's proof assistant   katzmik at macs.biu.ac.il
• [FOM] 556: Flat Foundations 1   katzmik at macs.biu.ac.il
• [FOM] Hartogs Number   tf at maths.cam.ac.uk
• [FOM] Versions of diamonds principles,V=L   pax0 at seznam.cz

Last message date: Fri Oct 31 22:01:01 EDT 2014
Archived on: Sat Nov 1 19:21:58 EDT 2014

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...