Besonderhede van voorbeeld: -7267595935414340635

English

Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem[20] and he helped demonstrate the unsolvability of Hilbert's tenth problem.[21] He was at times a politically controversial figure, especially for his involvement with the Progressive Labor Party in the late 1960s and early 1970s.[22][23]

Spanish

Desarrolló, junto con Martin Davis, el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana,[11] y ayudó a demostrar la irresolubilidad del décimo problema de Hilbert.[12] El filósofo fue en ciertos períodos una polémica figura política, especialmente por su relación con el Partido Laboral publicación del Partido Comunista de los Estados Unidos.