Thursday, January 24, 2008

System T and Model T

[The unveiling of the Tata Nano is something for which Ratan Tata and the Tata group should be applauded. Yes, there are detractors galore, whining about the environment, congestion, road safety and so on. What they are missing is that this car, soon to be followed by numerous others, is another step in the economic development of the country. This is similar to the introduction of the Ford Model T or the Volkswagen, which led to the building of highways and autobahns, and to the creation of thousands of jobs. -- Avinder Bindra]
[The system T was originally investigated (with the name T) by Gödel ([Gödel, 1933]), (as reported in [Lemmon, 1957, p179]). This system was investigated independently, also under the name T, by R. Feys in [Feys, 1937] (as reported in [Lemmon, 1957, p179]). This system was independently investigated under the name "M" by G.H. von Wright in his book "An essay in modal logic" von Wright, 1951, appendex II, p85-90] (as reported in [Lemmon, 1957, p179])
Bolesław Sobociński proved "M" and "T" to be the same system in "Note on a system of Feys - von Wright", in The Journal of Computing Systems, v. 1(1953), p171-178 (as reported in [
Lemmon, 1957, p179])...]
Thirst for new systems and models must last for ever. However, accessing the power of perceiving the underlying unitary principle would receive priority. [TNM]

No comments:

Post a Comment