Search the Community
Showing results for tags 'formal '.
Found 1 result
-
Hello everyone, you might remember me from last year: https://board.freedomainradio.com/topic/46766-mathematical-aid-for-upb-based-ethics/ I've finally managed to define UPB in exact terms and verify the most important conclusions of it rigorously. Here's A formal proof of universal and objecti...
