# The Church-Turing discovery of uncomputable functions is closely related to the discovery by the logician Kurt Gödel that some theorems of arithmetic are undecidable, meaning that they can neither be proved nor disproved in a finite number of steps., digital art
![[3eef59b9-470d-4e76-a501-942c70ed8c97-0-1936073879.png]]
# A man tweaking his own brain with a screwdriver, painting by Picasso
![[1d94f62f-f935-4941-95e7-691293cf5d02-0-2414102123.png]]
# Incommensurable love falling from the sky, enlightening a couple in the grass under the sparkling sun, oil on canvas by Van Gogh
![[b4032a47-6ef1-400a-ae5e-ea745b4f50ff-0-2723574175.png]]
# An enlightened man holding his head with both hands, a strong light emanating from his head spreading in the space, abstract painting
![[aa39b5ca-bcba-47ab-b8e1-91469fd49dfb-0-1599661689.png]]
# A cluster of human brains, connected by machines into a massive collective intelligence, painting by Picasso
![[dcbaf19d-23d5-4666-a46a-33ea539b6380-0-2218490610.png]]
# The hedonistic race pursued by men, the exhausting thirst for status and power, by Picasso
![[4beca365-214a-4c18-bf07-580cbab7e0fd-0-3143988416.png]]