An interactive tutorial teaching the sequent calculus, a set of rules for showing the truth of statements in first-order logic. It is aimed at people with some software background and basic boolean logic knowledge.
The HP 9845 Project
The HP 9845 Project is an educational resource for documentaries, courses, books, reference material, or self-learning.
Links
Tags
-
0
An interactive tutorial teaching the sequent calculus, a set of rules for showing the truth of statements in first-order logic. It is aimed at people with some software background and basic boolean logic knowledge.
-
0PhilosophyBasics is a site that breaks philosophy down into manageable chunks. It offers material organized by branch, historical period, movement, and individual thinkers, with a library, a glossary, and a philosophers A–Z.
-
0EveryPolitician is a global database of political office-holders, including rulers, law-makers, judges and other public officials. It tracks hundreds of thousands of politicians across countries, positions and territories, and is built on Wikidata. The project describes itself as a community effort built by volunteers and welcomes contributions to political data research.
-
0The Trolley Problem Game is a free game based on the trolley problem, in which a trolley heads toward five people and the player at the lever can redirect it onto a track that kills one person. The game includes dozens of interpretations of the problem and is also offered as an Android app.
-
0Shorpy is an archive of vintage photographs, featuring thousands of high-resolution scans made from large-format negatives. The photos are categorized by theme, such as cities, railroads, cars and World War II, and are browsable by photographer and location. The scans are available as framed prints or stock images.
-
0PessimistsArchive helps find books, reading material, archives, or public-domain educational texts.
Community notes
Reviews and discussion
No reviews yet
Be the first to share how this project worked for you.
Join the discussion
Sign in with a verified account to leave a review or join the discussion.
Sign in to review