Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
oleh: Adam Olszewski
| Format: | Article |
|---|---|
| Diterbitkan: | Copernicus Center Press 2006-06-01 |
Deskripsi
Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis