Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
593
shaares
593
shaares
Filters
Links per page
20
50
100
8 results tagged
maths/logic
Byrne’s Euclid
maths/logic
·
maths/geometry
·
teaching
·
art
October 15, 2020 03:35:13 PM GMT+02:00 * ·
permalink
·
https://www.c82.net/euclid/
Numberphile’s Proof for the Sum 1+2+3+...
maths/logic
September 25, 2020 06:37:57 PM GMT+02:00 * ·
permalink
·
https://journals.blythinstitute.org/ojs/index.php/cbi/article/view/36/37
When Math Gets Impossibly Hard
maths/logic
September 17, 2020 10:03:05 AM GMT+02:00 * ·
permalink
·
https://www.quantamagazine.org/when-math-gets-impossibly-hard-20200914/
Reasonably Polymorphic
books
·
maths/logic
·
maths/types
July 15, 2020 11:53:15 PM GMT+02:00 * ·
permalink
·
https://reasonablypolymorphic.com/book/preface.html
Application of formal systems to model biological systems
computer-science/bioinformatics
·
maths/logic
·
computer-science/cellular-automata
June 10, 2020 11:22:46 AM GMT+02:00 * ·
permalink
·
https://github.com/prathyvsh/formal-systems-in-biology
Coq Reference Manual
maths/logic
·
programming/proof
June 6, 2020 11:54:17 PM GMT+02:00 * ·
permalink
·
https://coq.inria.fr/distrib/current/refman/
Minimizing logic expressions
maths/logic
·
programming/functional/racket
April 27, 2020 03:43:16 PM GMT+02:00 * ·
permalink
·
https://lab.whitequark.org/notes/2020-04-06/minimizing-logic-expressions/
The 2,500 year old history of why Python’s all([]) returns True
maths/logic
·
programming
March 18, 2020 02:07:01 PM GMT+01:00 * ·
permalink
·
https://blog.carlmjohnson.net/post/2020/python-square-of-opposition/
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community