De Bruijn factor
id:
de-bruijn-factor-196-14644413
title:
De Bruijn factor
text:
The de Bruijn factor is a measure of how much harder it is to write a formal mathematical proof instead of an informal one. It was created by the Dutch computer-proof pioneer Nicolaas Govert de Bruijn. De Bruijn computed it as the size of the formal proof over the size of the informal proof. Freek Wiedijk refined the definition to use the compressed size of the formal proof over the compressed size of the informal proof. He called this the "intrinsic de Bruijin Factor". The compression removes t
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/De_Bruijn_factor
date created:
date modified:
2024-02-11T18:03:57Z
main entity:
{"identifier":"Q110692573","url":"https://www.wikidata.org/entity/Q110692573"}
image:
fields total:
13
integrity:
13