danielam 的提交内容

Carbonari

Interslavic Language

Can architecture shape behaviour? (2014)

The Mizar proof system (2017)

Potosí: the mountain of silver that was the first global city

There is no general AI: Why Turing machines cannot pass the Turing test

Psychoanalyzing the Sexual Revolutionary

Microsoft to Explore Using Rust

The Christian Origins of Islam (2012)

Sendivogius

Mizar: The first 30 years (2005) [pdf]

Mizar Language and Proof Assistant

Do Orchestras Need Conductors? (2012)

Frege on What Mathematics Isn’t

Lewis-Mogridge Position

Natural Philosophy Redux

Listening at the Great Awokening

The Marriage of Bona Sforza and Sigismund I of Poland (2018)

Poland files complaint with EU's top court over copyright rule change

Medieval Scholars Believed in the Possibility of Parallel Universes (2017)

Developers File Antitrust Lawsuit Against Apple over App Store

iPhone Owners Can Sue Apple for Monopolizing App Store, Supreme Court Rules

Hayek’s Tragic Capitalism [pdf]

New treatment for blood cancers using CAR T cells

World War II Looting of Poland

Classic Minecraft now free online