Preuve

A teoria do «mercado dos limões» de George Akerlof (Prémio Nobel 1970) explica porque, sem prova, a qualidade invisível de um produto acaba paga ao preço médio — e como a rastreabilidade lhe responde.

Ronald Coase (Nobel 1991), os custos de transação, e o que acontece às cadeias alimentares quando verificar deixa de custar dinheiro: a renda de opacidade e o seu fim anunciado.

Hayek (1945): o preço faz circular um saber que ninguém detém por inteiro. Mas não diz nem a qualidade nem o percurso: não falta nada ao preço, falta um preço.

Elinor Ostrom (Nobel 2009), a governação dos comuns, e a pergunta que matou as plataformas de dados agrícolas: uma prova que vale pela sua massa só pode pertencer a quem a faz.

Michael Spence (Nobel 2001), a sinalização onerosa, e o que distingue uma prova de uma promessa: porque um rótulo que toda a gente pode apor já não sinaliza nada — e como a prova muda o jogo.

John Nash, o dilema do prisioneiro e a caça ao veado: porque é que uma cadeia alimentar inteira se coordena no preço sem que nenhum dos seus atores se porte mal.

En 1962, Cocteau adresse une phrase à l’an 2000. Prise au sérieux avec Haber-Bosch : une réussite peut être le début du problème suivant.

Le mythe d’Orphée interdit de vérifier ce qu’on croit savoir. Une lecture de cette règle — via Cocteau et un capteur de température — pour distinguer une donnée d’une preuve.

O que faz uma prova não é a sinceridade nem a precisão, mas a continuidade: uma cadeia de transformações cujo cada elo permanece reversível.

O poder não reside no saber, mas no lugar onde as inscrições convergem. A verdadeira questão não é «é preciso um registo», mas quem o audita.

Origem ou percurso? Do duelo local/commodity ao crédito de carbono: porque é que uma tonelada vale o que vale o seu lugar, e o que um índice muda num crédito.

Latour e Spinoza: a complexidade agrícola não é um excesso de conversa em torno de um objeto simples, é um aparelho de descrição ultrapassado. O que mudou é o custo do singular.

Rabelais fait purger Gargantua avant de l’instruire. Ce que ce détail dit d’un système de conformité qu’on croit corriger en ajoutant des champs.

Mirapolis avait dressé un Gargantua de 33 mètres. Rabelais avait prévenu : le risque n’est pas seulement de rester à la surface, c’est d’inventer le fond.

Un système de preuve fait trois choses distinctes. Pourquoi la signature vient d’abord, pourquoi relier fait le vrai travail, et à quel moment une chaîne devient nécessaire.

Rabelais fait de la faim l’inventeur de tous les arts. Ce que ça dit de nos outils de preuve : on n’invente pas pour convaincre, mais parce qu’on ne peut pas.

Rabelais énumère 217 jeux, puis catalogue une bibliothèque d’ouvrages imaginaires. Ce qu’un registre trop nourri finit par prouver — et de qui il parle.

Thélème n’a ni murailles ni horloge — mais une porte avec une liste. Ce que ça dit d’un système de preuve : la vraie question est où l’on place la porte.

"Você vende rastreabilidade e não pode provar quem escreve seus artigos." A objeção é válida, e o que ela revela é pior do que o que critica.

Signo, razão, singular: os três géneros de conhecimento de Spinoza aplicados a um tomate — do rótulo ao passaporte de produto verificável.

O que um filósofo do século XVII tem a ver com a rastreabilidade: porque é que a opacidade de uma origem não é uma fraude, mas um conhecimento mutilado, a restaurar em vez de punir.

Descartes separava o pensamento e a extensão, depois voltava a colá-los pela glândula pineal. A rastreabilidade declarativa faz o mesmo com o número de lote.

Não se combate um medo com outro medo: porque tranquilizar nunca basta e como a prova permite sair da desconfiança alimentar.

A eFishery declarava 400 000 alimentadores conectados junto aos seus tanques. Havia 24 000. O que a sua queda diz a quem vende rastreabilidade.