SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Jensen H. H.) srt2:(1971-1979)"

Search: WFRF:(Jensen H. H.) > (1971-1979)

  • Result 1-4 of 4
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  •  
4.
  • Löfgren, Lars, et al. (author)
  • Unfoldment of self-reference in logic and in computer science
  • 1979
  • In: Proceedings from 5th Scandinavian Logic Symposium. - 8773070378 ; , s. 205-229
  • Conference paper (peer-reviewed)abstract
    • The paradoxes induced by unrestricted self-reference have been of interest since antiquity. In this paper the author approaches the interpretation of self-reference in natural languages from the perspective of linguist - using as insight the treatments of self-reference by Russel, Tarski, Kleene and Scott. The subject of self-reference is approached historically. The works of Russell are first discussed and then compared with the more general concepts introduced by Tarski. These are then discussed within the framework of Kleene's recursion (fixed point) theorem. Finally, the pioneering work of Scott is discussed and comparisons made with earlier work. A final section extends the notions discussed earlier into a linguistic/philosophical framework.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-4 of 4

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view