Mechanizing Mathematical Reasoning Mechanizing Mathematical Reasoning -

welcome to gyesik lee - publications journal articles formalizing the meta theory of first order predicate logic joint work with hugo herbelin and sunyoung kim journal of the korean mathematical society 54 5 1521 1536 2017, web ontology language wikipedia - the web ontology language owl is a family of knowledge representation languages for authoring ontologies ontologies are a formal way to describe taxonomies and classification networks essentially defining the structure of knowledge for various domains the nouns representing classes of objects and the verbs representing relations between the objects, publications by brian hayes bit player - books foolproof and other mathematical meditations cambridge and london mit press forthcoming fall 2017 infrastructure a guide to the industrial landscape, truth internet encyclopedia of philosophy - truth philosophers are interested in a constellation of issues involving the concept of truth a preliminary issue although somewhat subsidiary is to decide what sorts of things can be true, ot71 i don t open things slate star codex - anecdote there s this really neat bit in the feynman lectures where he notices that the ratio between the gravitational and electric forces in an atom is on the order of 10 37 and wonders how a number so large could happen in nature, high tech aliens atomic rockets - earth is likely to remain a possible abode of life for something of the order of a million million years to come this is some five hundred times the past age of the earth and over three million times the period through which humanity has so far existed on earth, the hipcrime vocab what s a hipcrime you committed one - while it may seem as though communal or collective ownership of the means of production is the ideal scenario it appears that it only works under a certain set of conditions and circumstances