你可能會喜歡
Hilbert's Entscheidungsproblem en.wikipedia.org/wiki/Entscheid…
'There may, indeed, be other applications of the system [i.e. lambda calculus] than its use as a logic.' -- Alonzo Church, 1932
Beta reduction: The difference typing makes johndcook.com/blog/2016/09/1…
The first problem proved to be undecidable was the equivalence of arbitrary lambda expressions.
Correspondence between simply typed lambda calculus and Cartesian closed categories en.wikipedia.org/wiki/Simply_ty…
Sequent calculus cheat sheet antitypical.com/posts/2021-08-…
“I wish my wish would not be granted!” — Douglas Hofstadter
Intuitionistic implication A ⇒ B can be represented in linear logic as !A ⊸ B.
Gödel proved in 1932 that intuitionistic logic has no interpretation as a finite-valued logic. The proof was only two pages long.
A Timeline for Logic, λ-Calculus, and Programming Language Theory by Dana Scott fm.csl.sri.com/SSFT15/Timelin… [pdf]
Understanding SAT by Implementing a Simple SAT Solver in Python sahandsaba.com/understanding-…
Applying multiple necessity or possibility operations in S5 modal logic
Linear logic analogies to arithmetic johndcook.com/blog/2022/01/1…
“Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of cryptography.” eprint.iacr.org/2019/1393
An order preserving map on a complete lattice has a fixed point.
Continuum hypothesis -- whether there a set with cardinality greater than the integers and less than the reals -- is independent of ZFC.
Seven normal forms in logic johndcook.com/blog/seven-nor…
The equivalence A ≡ B in linear logic means the formula (A ⊸ B) & (B ⊸ A) is derivable.
United States 趨勢
- 1. Ace Frehley 34.6K posts
- 2. John Bolton 104K posts
- 3. RIP Spaceman 1,217 posts
- 4. Glasnow 3,027 posts
- 5. Asheville 8,359 posts
- 6. Ashby 1,756 posts
- 7. #NationalBreadDay 1,923 posts
- 8. Space Ace 1,269 posts
- 9. Steelers 29.4K posts
- 10. Cuomo 31.9K posts
- 11. #KissArmy N/A
- 12. New York Groove N/A
- 13. #ShootingStar N/A
- 14. Jacob Misiorowski N/A
- 15. #NYCMayoralDebate N/A
- 16. Putin 196K posts
- 17. Cam Taylor N/A
- 18. The Miz 1,715 posts
- 19. Mitch 58.7K posts
- 20. Jake Bauers N/A
你可能會喜歡
-
Algebra Etc.
@AlgebraFact -
Probability Fact
@ProbFact -
Differential Eqns
@diff_eq -
Functor Fact
@FunctorFact -
Topology Fact
@TopologyFact -
Analysis Fact
@AnalysisFact -
Science and Medicine
@ScienceTip -
Data Science Fact
@DataSciFact -
Signal Processing
@DSP_fact -
Computer Science
@CompSciFact -
Scientific Python
@SciPyTip -
Grant Sanderson
@3blue1brown -
TeX and Typography
@TeXtip -
Maths History
@mathshistory -
Numberphile
@numberphile
Something went wrong.
Something went wrong.