In mathematical logic, Gödel's incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of considerable importance to the philosophy of mathematics. They are widely regarded as showing that Hilbert's program to find a complete and consistent set of axioms for all of mathematics is impossible, thus giving a negative answer to Hilbert's second problem.
Netlib is a collection of mission-critical software components for linear algebra systems (i.e. working with vectors or matrices). Netlib libraries are written in C, Fortran or optimised assembly code. A Java translation has been provided by the F2J project but it does not take advantage of optimised system libraries.
Statistical Theory and Method Abstracts (STMA) is now available as a component of Zentralblatt MATH, referred to as STMA-Z. Zentralblatt MATH is the one of the world’s most complete and longest running abstracting and reviewing services in pure and applied mathematics, containing more than 2 million entries drawn from more than 2,300 serials and journals, covering the period from 1868 to the present. STMA-Z contains all entries of ZMATH pertaining to statistics. Former entries of STMA are included to avoid duplication. Entries of Zentralblatt are classified since 1972 according to the Mathematics Subject Classification Scheme. STMA-Z will provide subscribers with specific access to statistical references and related fields.
Theoretical Economics Letters (TEL) seeks high quality short papers in all topics in economic theory and mathematical economics. It also considers papers that empirically or experimentally test existing theories or assumptions. In addition, there is a section for work-in-progress, limited to one page.
We've all heard of 'six degrees of separation', the idea that everyone in the world can be connected in just a few steps. But what if those steps don't just relate to people but also to viruses, neurons, proteins and even to fashion trends? What if this 'six degrees of separation' allowed us an insight into something at the core of Nature?