Richard Heck wrote: > Peter Kümmel wrote: >> Seems it's all about functions and arguments: >> >> "Wenn in einem Ausdrucke, dessen Inhalt nicht beurtheilbar zu sein >> braucht, ein einfaches oder zusammengesetztes Zeichen an einer oder >> an mehreren Stellen vorkommt, und wir denken es an allen oder einigen >> dieser Stellen durch Anderes, überall aber durch Dasselbe ersetzbar, >> so nennen wir den hierbei unveränderlich erscheinenden Theil des >> Ausdruckes Function, den ersetzbaren Argument." >> >> >> I leave the translation to the Frege-Expert ;) >> > And, as it happens, I'm in the midst of a large project on, among other > things, Frege's changing views about function and argument, e.g.: > http://frege.brown.edu/heck/pdf/published/FregeContribution.pdf
Nice, this look more readable that you theorem-98 text. > with more to come. > > And hey, J"urgen, note the co-author: someone from your field. And a > recent convert to LyX. > > Richard > > > -- Peter Kümmel