isa-afp.org
Completeness of the Q0 Higher-Order Logic
Completeness of the Q0 Higher-Order Logic in the Archive of Formal Proofs
Bluesky · Hashtag
#logic
290
posts · 30d
108
users
10
posts / day
2.7
posts / user
+ 13% vs last week
#logic is an active hashtag on Bluesky. In the last 30 days, 108 people shared 290 posts with it — around 10 a day. Activity is up 13% versus the previous week, peaking on Aug 4 with 18 posts.
#logic posts per day (last 30 days)
Related tags
Tags most often used together with #logic.
Posts with #logic
58 447 2506
🔥 The latest article will explain the reasons behind your various decisions:
patreon.com/collection/1...
🔥 450+ fascinating articles to explore:
patreon.com/go4know
#knowledge #education #edusky #writing #ai #aiart #blog #chatgpt #freewill #science #physics #choices #psychology #logic #fate #mind
3 24 494
I predict that no matter who wins the Super Bowl the Chiefs will not win it, because even if the Eagles los the Super Bowl, people will just say it was rigged.
Ergo win or lose, the Chiefs lose.
#Logic
61 24 399
🔥 What Makes Sudoku So Addictive and Surprisingly Complex?
Check it out:
👉 patreon.com/go4know
#knowledge #curiosity #education #ai #aiart #art #chatgpt #sudoku #logic #puzzle #brain #numbers #strategy #mind #thinking #challenge #math #grids #deduction #intellect #focus #pattern
5 9 315
Do you enjoy playing Sudoku? I’ve just created an online Sudoku game – no ads, no gimmicks, just different difficulty levels. Let me know what you think:
go4know.com/sudoku/
#sudoku #puzzles #brain #logic #mind #games #numbers #challenge #strategy #focus #game #concentration #deduction
13 23 303
🔥 Why Does the "I Cut, You Choose" Rule Work So Well?
Check it out:
👉 patreon.com/go4know
#knowledge #curiosity #education #ai #aiart #art #photo #photography #fairness #decision #psychology #game #logic #conflict #negotiation #division #sharing #equality #strategy #behavior #philosophy #trust
3 11 286
When was the last time you played Tic-Tac-Toe?:-)
🔥 Tic-Tac-Toe | Discover Amazing Knowledge:
patreon.com/collection/1...
🔥 500+ must-read articles. Join us:
patreon.com/go4know
#education #edusky #ai #aiart #blog #photo #chatgpt #photography #strategy #logic #game #puzzle #math #play #classic
2 6 281
Can a Human Without Emotions Make Rational Decisions?
Discover the answer:
👉 patreon.com/posts/129085...
#science #curiosity #knowledge #ai #bluesky #emotion #rationality #neuroscience #psychology #decision #brain #human #mind #logic #cognition #health #philosophy #thinking
6 7 173
I’ve created another logic game:
go4know.com/mastermind/
The goal is to guess and enter a 6-digit secret code. It’s a fun way to train your brain and see how good you really are:-)
#game #logic #puzzle #brain #numbers #strategy #mind #thinking #challenge #math #deduction #intellect #focus
5 9 167
Blind Logic
Faith scoffs at data's claim,
Reason inscribes the same,
On the corporal frame.
Reason pleads for a sign,
Faith takes a hazy line,
In this comic design.
#poem #poemoftheday #poetry #poems #bluesky #blueskypoetry #blueskyart #art #faith #reason #logic
2 6 153
(skit) SOme more good advice #skit #artist #artistoninstagram #artistontiktok #logic #logicprox #musician #singing
0 0 2
I listened to Elon Musk’s recent interview. In the section where he discusses Europe, I found five logical fallacies.
I’ve marked them in the attached file.
#logic
2 0 7
1 2 7
Check out the most-read articles from Theory and Practice of Logic Programming here:
📚 cup.org/4bylRct
#logic #logicprogramming
0 0 1
Completeness of the Q₀ higher-order logic (in Isabelle/HOL). ~ Asta Halkjær From, Jonathan Julian Huerta Munive, Anders Schlichtkrull. isa-afp.org/entries/Q0_C... #IsabelleHOL #ITP #Logic
0 0 0
(skit) From the bottom of a broke in pieces chair #skit #artist #artistoninstagram #artistontiktok #logic #logicprox #musician #singing
0 0 1
(skit) steering is impossible #skit #artist #artistoninstagram #artistontiktok #logic #logicprox #musician #singing
0 0 2
(skit) the sun is shining on me #skit #artist #artistoninstagram #artistontiktok #logic #logicprox #musician #singing #painting #pattern #mandala #traditionalart
0 0 1
(skit) Being a conformist #skit #artist #artistoninstagram #artistontiktok #logic #logicprox #musician #singing
0 0 3
Just because it looks good...
Think twice as hard...
#logic
www.instagram.com/reel/Da….
0 0 0
Posts are pulled live from Bluesky and cached briefly. Posts with content labels are hidden.