Korean 게르하르트 겐첸 Cited by user Khlee560 on 17 Jan 2024 게르하르트 카를 에리히 겐첸(, 1909년 11월 24일 ~ 1945년 8월 4일)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다.
English Hilbert's second problem Cited by user Dedhert.Jr on 18 Jun 2023 In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems.
Spanish Demostración de consistencia de Gentzen Cited by user Davius on 29 Dec 2022 La demostración de consistencia de Gentzen de la aritmética de primer orden es un resultado pionero de la teoría de la demostración en lógica matemática publicado por…
Spanish Lógica matemática Cited by user Basquetteur on 20 May 2022 La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a…