Investigators at Purdue University Describe Research in Symbolic Logic

摘要

2012 JUL 2 (VerticalNews) -- By a News Reporter-Staff News Editor at Robotics & Machine Learning --nInvestigators publish new report on Symbolic Logic. According to news reporting from West Lafayette,nIndiana, by VerticalNews journalists, researchers stated "We introduce a very weak language L-M onnp-adic fields K, which is just rich enough to have exactly the same definable subsets of the line K that onenhas using the ring language. (In our context, definable always means definable with parameters.) Wenprove that the only definable functions in the language L-M are trivial functions."