Serie
2 catene
Due catene sulla stessa domanda posta a oggetti diversi: che cosa rende affidabile un testo quando scriverlo non costa più nulla, e che cosa rende affidabile la risposta di una macchina. In entrambi i casi la fiducia si sposta dall’oggetto alla procedura con cui lo si verifica.
Un decimo delle parole pronunciate a Westminster è scritto da un modello. Dieci schede dell’archivio su che cosa resta del valore di un testo quando scriverlo non costa più nulla, e sul perché riconoscere la macchina dallo stile è una strada chiusa.
Una versione di Claude ha migliorato un risultato sulla funzione zeta di Riemann, e lo sappiamo perché un sistema formale e quattro matematici l’hanno controllato. Nove schede su che cosa voglia dire fidarsi di una macchina, e su dove vada cercata la verifica.