tʃˈuɾtʃ ʃˈows tˈat tˈe ˌentstʃeɪðuŋɡspɾˈoβlem ˈis ˌunsolβˈaβle ˈin aβˈowt tɾˈes pˈaxes ˈof tˈekst ˈand tɾˈes pˈaxes ˈof fˌootnˈotes.
Church shows that the Entscheidungsproblem is unsolvable in about 3 pages of text and 3 pages of footnotes.