Toggle light / dark theme

It sure looks like other philosophers are using the Stone duality in ways that are a lot more sophisticated than my own way!

Abstract In this paper we present a point-free theory of Whiteheadean style of space and time.


In this paper we present a point-free theory of Whiteheadean style of space and time. Its algebraic formulation, called dynamic contact algebra (DCA), is a Boolean algebra whose elements symbolized dynamic regions changing in time, with two spatio-temporal mereotopological relations between them: stable and unstable contact. We prove several representation theorems for DCAs, representing them in structures arising from products of contact algebras or from products of topological spaces. We also present a decidable quantifier-free constraint logic for reasoning about stable and unstable mereotopological relations between dynamic regions. We consider the paper as a first step in point-free dynamic mereotopology.

🌌🔭 The Chandra X-ray Observatory has been unveiling the mysteries of the universe for 25 years! Discover how its X-ray data helps scientists study black holes, supernovae, and the formation of galaxies. Learn about the incredible insights gained and what the future holds for X-ray astronomy. #SpaceResearch #BlackHoles #Chandra


NASA’s Chandra X-ray Observatory detects X-ray emissions from astronomical events.

NASA ’s X-59 quiet supersonic aircraft project has reached a critical milestone with the completion of the Flight Readiness Review, paving the way for future flight testing.

NASA has advanced the airworthiness verification of its quiet supersonic X-59 aircraft with the completion of a milestone review that will allow it to progress toward flight.

An independent Flight Readiness Review board comprising experts from throughout NASA has concluded a detailed evaluation of the X-59 project team’s safety strategies for the public and staff during both ground and flight testing. The board meticulously examined the team’s assessment of potential hazards, focusing on safety and risk identification.