postulate
131Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… …
132Giovanni Girolamo Saccheri — (September 5, 1667 October 25, 1733) was an Italian Jesuit priest and mathematician.Saccheri entered the Jesuit order in 1685, and was ordained as a priest in 1694. He taught philosophy at Turin from 1694 to 1697, and philosophy, theology, and… …
