Jean-Louis Krivine Equipe I.R.I.F. (P.P.S.) Université de Paris-Cité, CNRS tél : (33)1 57 27 92 39 fax : (33)1 57 27 92 97 Certains articles ou cours sont disponibles sur les serveurs HAL et CEL (CNRS) ou arXiv. Toutefois, leur version sur la présente page est remise à jour, et les fontes sont plus lisibles. Articles (sélection) A program for the full axiom of choice Log. Met. Comp. Sc. Volume 17,
NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science Room 110, National Science Foundation, Arlington, VA January 22, 2001 Organizer: Moshe Y. Vardi The workshop is open to the general public. Background: During the past twenty five years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides compute
The goal of molecular programming is the systematic manipulation of matter at the molecular scale, for applications in engineering + technology and biology + medicine. Structural DNA/RNA nanotechnology currently provides the only fabrication pipeline for truly programmable molecular structures, in the form of static and dynamic nucleic acid assemblies. But through it we can organize also other for
Exploiting Hurkens's paradox [Hurkens95] for system U- so as to derive various contradictory contexts. The file is divided into various sub-modules which all follow the same structure: a section introduces the contradictory hypotheses and a theorem named paradox concludes the module with a proof of False. The Generic module contains the actual Hurkens's paradox for a postulated shallow encoding of
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く