Frege på dansk

Dansk Datamatik Center

In 1979, a software research and development center was created to demonstrate the power of systematic and formal methods in software development. One of the first and biggest projects at Dansk Datamatik Center (DDC) was to develop an Ada compiler and run-time system. DDC made the first department of Defense (DoD) validated Ada compiler in Europe, and the Ada project was carried on in a subsidi...

Frege Systems

The role of chronic pain and suffering in contemporary society

s på dansk 195

Dansk Fundamental Metrologi • Danish Fundamental Metrology

This report describes a pilot comparison of resistance measurements performed between Danish Fundamental Metrology(DFM), Lyngby, Denmark, and Semiconductor Physics Institute (SPI), Vilnius, Lithuania, at resistance values 100 Ω and 10kΩ. Dansk resumé: Denne rapport beskriver en pilotsammenligning af måling af resistans mellem Dansk Fundamental Metrologi (DFM), Lyngby, Danmark, og Semiconductor ...

Propositional Proofs in Frege and Extended Frege Systems (Abstract)

We discuss recent results on the propositional proof complexity of Frege proof systems, including some recently discovered quasipolynomial size proofs for the pigeonhole principle and the Kneser-Lovász theorem. These are closely related to formalizability in bounded arithmetic.