IDEAL hosted a workshop last month focused on introducing notions and problems within the fields of machine learning and logic as part of the winter/spring special program.
Results from samplings of the unique ruliad structure that corresponds to the entangled limit of all possible computations. General physicalized laws of mathematics are discussed, associated with concepts such as metamathematical motion, inevitable dualities, proof topology and metamathematical singularities.