Results for 'Miljen Matijašević'

25 found
Order:
  1.  18
    Functionalist approach to teaching legal translation.Miljen Matijašević - 2013 - Studies in Logic, Grammar and Rhetoric 34 (1):113-127.
    The paper deals with some problems of legal translation with a particular regard to the skopos theory approach, with a special emphasis on the practical implications of these problems to legal translation instruction. The author presents the circumstances in the Republic of Croatia over the preceding several years pertaining to the activities of legal translation for the purpose of accession to the European Union. This particularly refers to the translating of the acquis communautaire into the Croatian language. Possible functions of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  6
    Filozofija i psiha.Željka Matijašević - 2007 - Filozofska Istrazivanja 27 (1):3-4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  9
    Hysteria and gender.Željka Matijašević - 2005 - Filozofska Istrazivanja 25 (4):829-839.
  4.  13
    Histerija I rod.Željka Matijašević - 2005 - Filozofska Istrazivanja 25 (4):829-839.
    The paper examines the significance of hysteria in relation to gender, the Darwinian psychiatrical construction of hysteria in the 19th century, and finally the psychoanalytical concept of hysteria as an example of mental disorder. This suggests that the study of pathology started as the study of female pathology. The question is whethe rit is possible to give new meaning to hysteria and to say that it is a revolt against patriarchal discourse, following this ‘ontological’ link between women and madness based (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Judith Butler: Antigone's Claim. Kinship between Life and Death.Z. Matijasevic - 2003 - Synthesis Philosophica 18 (1-2):410-412.
     
    Export citation  
     
    Bookmark  
  6. Lacan's philosophical subject: The localization of the Freudian unconscious.Z. Matijasevic - 2002 - Synthesis Philosophica 17 (2):363-380.
     
    Export citation  
     
    Bookmark  
  7.  10
    Na rubu filozofije: Derrida i Freud.Željka Matijašević & Luka Bekavac - 2008 - Filozofska Istrazivanja 28 (2):397-414.
  8.  12
    On the Margines of Philosophy: Derrida and Freud.Željka Matijašević & Luka Bekavac - 2008 - Filozofska Istrazivanja 28 (2):397-414.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  4
    Psychoanalysis and New Age.Željka Matijašević - 2007 - Filozofska Istrazivanja 27 (1):47-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  12
    Psihoanaliza i New Age.Željka Matijašević - 2007 - Filozofska Istrazivanja 27 (1):47-56.
    Tema teksta bit će odnos određenih psihoanalitičkih učenja i suvremenih new age teorija i tehnika, pri čemu se popularnost i raspostranjenost new age tehnika može dovesti u vezu s opadanjem značaja psihoanalitičkih terapijskih tehnika. New age će biti doveden u vezu s Jungovim naslijeđem i idejom razaranja Ja kako bi se porodilo sebstvo što je vezano uz zahtjev new agea za osobnom preobrazbom preko izmijenjenih stanja svijesti. Freuda se unutar new agea općenito tumači kao vrhunac zapadnjačke racionalnosti, kao krajnju supremaciju (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  62
    Register machine proof of the theorem on exponential diophantine representation of enumerable sets.J. P. Jones & Y. V. Matijasevič - 1984 - Journal of Symbolic Logic 49 (3):818-829.
  12. The Theorem of Matijasevic is Provable in Peano's Arithmetic by Finitely Many Axioms.Carstens Hg - 1977 - Logique Et Analyse 20 (77-78):116-121.
  13.  6
    Matijasevič Ju. V.. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 171–177. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  20
    Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
  15.  15
    Review: Ju. V. Matijasevic, F. M. Goldware, Diophantine Representation of Enumerable Predicates. [REVIEW]Martin Davis - 1974 - Journal of Symbolic Logic 39 (3):605-605.
  16.  8
    Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):606-607.
  17.  14
    Review: Ju. V. Matijasevic, Sue Walker, Simple Examples of Undecidable Associative Calculi. [REVIEW]D. J. Collins - 1968 - Journal of Symbolic Logic 33 (3):469-470.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  19
    Review: Ju. V. Matijasevic, R. N. Gross, Diophantine Representation of the Set of Prime Numbers. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607-607.
  19.  6
    Review: Yu. V. Matijasevic, J. E. Fenstad, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.
  20.  14
    Ú. V. Matiásévič. Prostyé priméry nérazréšimyh associativnyh isčislénij. Doklady Akadémii Nauk, vol. 173 , pp. 1264–1266. - Ju. V. Matijasevič. Simple examples of undecidable associative calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 8 no. 2 , pp. 555–557. [REVIEW]D. J. Collins - 1968 - Journal of Symbolic Logic 33 (3):469-470.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  43
    Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  22.  22
    Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 , pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 , pp. 1–28. [REVIEW]Martin Davis - 1974 - Journal of Symbolic Logic 39 (3):605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  28
    Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 , pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 , pp. 354–357. See Errata, ibid., vol. 11 no. 6 , p. vi. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
  24.  25
    Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 , pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 , pp. 249–254. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607.
  25.  25
    Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
    We show that Matijasevič's Theorem on the diophantine representation of r.e. predicates is provable in the subsystem I ∃ - 1 of Peano Arithmetic formed by restricting the induction scheme to diophantine formulas with no parameters. More specifically, I ∃ - 1 ⊢ IE - 1 + E ⊢ Matijasevič's Theorem where IE - 1 is the scheme of parameter-free bounded existential induction and E is an ∀∃ axiom expressing the existence of a function of exponential growth. We conclude by (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations