NORAD, it seems, believe Father Christmas exists. So here's a proof of his existence, that I found in Logics, Categories, and Colimits for Artificial Intelligence: Exercise Sheet 9 by Till Mossakowski of the University of Freiburg.

December 27, 2009
URL:http://www.drdobbs.com/architecture-and-design/to-prove-father-christmas-exists/228700907

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.