- (1906-1978) Lógico y matemático checo. Demostró la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de la incompletitud semántica (prueba de G. ). Sobre las proposiciones indecidibles de los sistemas de matemática formal. .
[Inicio] >>
➥ Los menores que cometan delitos accederán a tobilleras electrónicas
➥ Condenaron solidariamente a una firma y a sus socios por registrar como tal a quien sólo trabajaba de carnicero
➥ Un juez determinó la fecha de separación de un matrimonio según sus conversaciones de WhatsApp
➥ La Corte provincial le otorgó prisión domiciliaria a un abusador sexual por su edad avanzada