Tästä syystä matemaattisen logiikan kehityksellä (mm. Gottlob Frege ja Ludwig Wittgenstein) ja erityisesti laskettavuuden teorian synnyllä 1930-luvulla (Alan Turing) on ollut kognitiotieteen näkökulmasta varsin keskeinen merkitys.
tˌæstæ sˈyːstæ mˌatemaːtːˈisen loɡˈiːkaŋ kˌehɪtˈyksellæ ˌæmˈæm. ɡˈotːlob frˈeɡe ja lˈudvɪɡ vɪtːɡˈenstein ja ˌerɪtyisˈestɪl lˌasketːavˈuːden tˌeorˈian synnˈyllæ tˈuhat ˈyhdeksænsˌataː kˌolmekymmentæluvˈulla ˈalan tˈurɪŋ on ˌollut kˌoɡnɪtɪotˈieteːn nˌækøkulmˈasta vˈarsɪŋ keskˈeinen merkˈitys.