David Hilbert

The ideas here are retold from the historical record, drawn from the sources each event cites. David Hilbert never posted on Veritula. To report a mistake, email veritula@dennishackethal.com.

Chronicled events

1. September 8, 1930·​“We Must Know. We Will Know.”
   #5870

   Every question of mathematics can be answered: there is no “we will not know.” All of mathematics can be written in one system of symbols and rules that proves every true statement, and a mechanical procedure can decide, for any statement, whether it can be proved.