Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Foundations of Math
∞ Foundations of Math
set theory, ZFC, mathematical foundations, Gödel, axioms
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23
posts in
13.9
ms
Set
Theory
> Basic
Set
Theory
(Stanford Encyclopedia of Philosophy)
∘
Category Theory
Content type:
Academic
plato.stanford.edu
·
6d
6 days ago
Actions for Set Theory > Basic Set Theory (Stanford Encyclopedia of Philosophy)
The Modal
Logic
of Forcing and
Set-theoretic
Potentialism, Peking University lectures, June/July 2026
⊢
Logic
jdh.hamkins.org
·
2d
2 days ago
Actions for The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to
Zero
bugs
λ
Type Theory
lix.polytechnique.fr
·
20h
20 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof
System
Timelines
⊢
Logic
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Nikon Continues Bug Fixing
λ
Type Theory
zsystemuser.com
·
6d
6 days ago
Actions for Nikon Continues Bug Fixing
REVIEW: Viltrox AF 90mm f/2.2 EVO (APS-C)
🌀
Homotopy Theory
Content type:
Blog
phillipreeve.net
·
2d
2 days ago
Actions for REVIEW: Viltrox AF 90mm f/2.2 EVO (APS-C)
Every
set
of AI guardrails can be broken by the right prompt
🤔
Philosophy of CS
helpnetsecurity.com
·
21h
21 hours ago
Actions for Every set of AI guardrails can be broken by the right prompt
Mathematical
proof
reveals why fixed AI guardrails can never block every jailbreak
✳️
Proof Theory
techxplore.com
·
14h
14 hours ago
Actions for Mathematical proof reveals why fixed AI guardrails can never block every jailbreak
VILTROX 75mm 1.8 EVO – Testing this new lens for APS-C cameras.
🌀
Homotopy Theory
35mmc.com
·
2d
2 days ago
Actions for VILTROX 75mm 1.8 EVO – Testing this new lens for APS-C cameras.
Correct-by-Construction
Design of Timed
Systems
in Event-B
⊢
Logic
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
News for May 2026 | Property Testing Review
⊢
Logic
ptreview.sublinear.info
·
3d
3 days ago
Actions for News for May 2026 | Property Testing Review
The Future Is Undecidable. Duty Is Not.
🤔
Philosophy of CS
Content type:
Blog
dhanjit.me
·
3d
3 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
book-assets/supplements/function-sets.md at master ·
logicforprogrammers/book-assets
⊢
Logic
Content type:
Code
github.com
·
6d
6 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Symbolic and Abstractive Reasoning with Complex Visual Queries
⊢
Logic
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Symbolic and Abstractive Reasoning with Complex Visual Queries
What I'm Doing Here
λ
Type Theory
ronjeffries.com
·
4d
4 days ago
Actions for What I'm Doing Here
The Soul of Numbers
λ
Type Theory
nautil.us
·
5d
5 days ago
Actions for The Soul of Numbers
Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
⊢
Logic
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
Less-relevant results
Is There a Fujifilm Exodus?
∘
Category Theory
fujixweekly.com
·
5d
5 days ago
Actions for Is There a Fujifilm Exodus?
book-assets/supplements/partial-orders.md
at master ·
logicforprogrammers/book-assets
⊢
Logic
Content type:
Code
github.com
·
6d
6 days ago
Actions for book-assets/supplements/partial-orders.md at master · logicforprogrammers/book-assets
𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
2d
2 days ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help