coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument)

From: ikdc <ikdc AT mit.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument)
Date: Tue, 01 May 2018 17:21:58 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ikdc AT mit.edu; spf=Pass smtp.mailfrom=ikdc AT mit.edu; spf=None smtp.helo=postmaster AT dmz-mailsec-scanner-8.mit.edu
Importance: Normal
Ironport-phdr: 9a23:CcBPmx980Q3gwf9uRHKM819IXTAuvvDOBiVQ1KB51ekcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhH1hikENTE38H/Zhc9qgq1arx2uuxNxzpXUYI6OLvdyYr/Rcc8YSGdHQ81fVzZBAoS5b4YXDuoBPvtXoJXgrFYJrBu+BhSjC//0xz9Nh3/2wbc23Po8HgHbxQEtGc8FvnfMrNjtKasfUvq5wavSwTjCbP5awznw5YrQfhw8ovyAR698fMnVxEU1Fg7Ij0+cpZL7Mz+J0OkGrnKV4PB6Ve21jm4qswFxrSarxscrkoTGm4cVy1Hd+SV82ok1JNm4SFVlbtG4CZdQrD2VOJFwQsMkXW5ooj82x74ctZ6+fSgK1I4ryADCZPyaa4SI4xTjW/iNITpgmX5oe6izihSo/UWhyeDwTMe53VRSoipAiNbMt3QN1xLJ6siAT/tw5kah2TWS2A/P8exEJEE0lbbBJ5E/37Ewi4IfsV7fES/uhEX2kKiWe1049eiv8uTre6npppuBN4BvkQz+KaQvmsmnAesiKAQOXm6b+f691LL550H5Tq9K3bUKlfzSt4mfLsAGrIa4BRVU28At8UWRFTCjhdUbkXJPeFNGdBmvion1fVzCPaarXr+En12wnWIzlLj9Nbr7D8CVdymRoPLaZb94rnVk5k82xNFb6YhTD+BTJfPvHEL9qY6BV0NrA0mP2+/iTe5F+MYGQ2veUKqYLOXfvULavrtycdnJX5ccvXPGE9Zg5/PqiiRgy1MYb+ys1JoTc32zW+9tKkOfbGCp0pEEEHtMswYjHrTn

In addition, James Meyer is a crank. I wouldn't take very seriously what Meyer has to say about the incompleteness theorem.

[Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Jose Manuel Rodriguez Caballero, 05/01/2018
- Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Andrej Bauer, 05/01/2018
  - Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), ikdc, 05/01/2018
- Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Matej Košík, 05/02/2018
  - Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), José Manuel Rodriguez Caballero, 05/02/2018
    - Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Pierre-Yves Strub, 05/02/2018
      - Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), José Manuel Rodriguez Caballero, 05/02/2018
        
        Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Emilio Jesús Gallego Arias, 05/02/2018
        
        Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Matej Košík, 05/03/2018
    - Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Emilio Jesús Gallego Arias, 05/02/2018
      - Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), R. Pollack, 05/02/2018
        
        Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), José Manuel Rodriguez Caballero, 05/02/2018
        
        Re: [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument), Arthur Azevedo de Amorim, 05/02/2018