skip to main
|
skip to sidebar
The Paralyzing Paradoxes of Professor Polaro
Primarily about proofs and programs
Wednesday, February 4, 2009
On the meaning of logical completeness
I would really like to have time to read
this paper
by Michele Basaldella and Kazushige Terui, as well as many of Terui's other highly interesting
recent papers
.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Blog Archive
►
2010
(5)
►
September
(1)
►
May
(2)
►
April
(1)
►
January
(1)
▼
2009
(12)
►
December
(1)
►
November
(1)
►
October
(2)
►
September
(2)
►
July
(2)
►
June
(1)
►
May
(1)
▼
February
(1)
On the meaning of logical completeness
►
January
(1)
►
2008
(11)
►
December
(2)
►
November
(1)
►
July
(1)
►
April
(3)
►
March
(1)
►
February
(1)
►
January
(2)
►
2007
(5)
►
November
(2)
►
July
(1)
►
June
(2)
About Me
Noam
View my complete profile
Some Interesting Blogs
Language Log
Border collie syntax?
8 hours ago
The n-Category Café
Philosophy Talks in Oxford
2 days ago
Lambda the Ultimate - Programming Languages Weblog
On the history of the question of whether natural language is “illogical”
2 days ago
Shtetl-Optimized
D-Wave: Truth finally starts to emerge
1 week ago
LogBlog
LaTeX Package for Typesetting Fitch Proofs LPL-Style
1 week ago
Wadler's Blog
From Session Types to Data Types: RA posts and PhD studentships
1 week ago
Luke Palmer
Polyamory and Respect
2 weeks ago
okmij.org
Constant-space XML processing with well-formedness check
2 weeks ago
A Neighborhood of Infinity
Why Heisenberg can't stop atomic collapse
5 weeks ago
Gowers's Weblog
Answers, results of polls, and a brief description of the program
5 weeks ago
Entia et Nomina
Two logic research jobs in Warsaw
1 month ago
Mathematics and Computation
Free variables are not “implicitly universally quantified”!
5 months ago
Conal Elliott
Reimagining matrices
5 months ago
Proper Treatment 正當作法
Borderline, just semantics
5 months ago
Shin-Cheng Mu
Programming from Galois connections
1 year ago
Gyre&Gimble
Blog has moved to new site
1 year ago
Epilogue
Hier Soir, an OTT Hierarchy
1 year ago
Teaching, Playing, and Programming
On the Dangers of Giving Games as Wedding PresentsorWell, it seemed like a good idea at the time...
1 year ago
Biosimilarity
i am not a monad i am a free algebra! (Pt 4)
1 year ago
Blogue à tabac
Le web et la sémantique
2 years ago
FP Lunch
Red-black trees
2 years ago
Nothing of Consequence
I've started a new blog
2 years ago
consequently.org/writing
Always More
2 years ago
∃xistential Type
Fun with words
2 years ago
Opinions of Doron Zeilberger
Opinion 103: Israel Moisevich Gelfand (Sept. 2, 1913-Oct. 5, 2009)
3 years ago
No comments:
Post a Comment