数学基礎論という論理学の一種で数学の一分野とされている部門がある。
そこの就職先が大学等の人工知能関係だったりする。