↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Träfflista för sökning "LAR1:uu ;hsvcat:6"

Sökning: LAR1:uu > Humaniora

Resultat 36191-36200 av 43479

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
36191.	Solin, Kim, et al. (författare) Refinement Algebra with Operators for Enabledness and Termination 2006 Ingår i: Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. - Berlin, Heidelberg : Springer. ; , s. 397-415 Konferensbidrag (refereegranskat)
36192.	Solin, Kim (författare) Review of Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers, by Juliet Floyd and Felix Mühlhölzer 2021 Ingår i: Nordic Wittgenstein Review. - : Universtity of Bergen Library. - 2194-6825 .- 2242-248X. ; 10, s. 157-162 Recension (övrigt vetenskapligt/konstnärligt)
36193.	Solin, Kim (författare) Rush Rhees and the Tratctatus: A Handful of Observations 2023 Ingår i: 100 Years Tractatus. - Kirchberg am Wechsel. ; , s. 545-552 Konferensbidrag (refereegranskat)
36194.	Solin, Kim (författare) Rush Rhees och den kontemplativa filosofin 2021 Ingår i: Signum. - 0347-0423. ; 47:3, s. 32-35 Tidskriftsartikel (populärvet., debatt m.m.)
36195.	Solin, Kim (författare) Rush Rhees on Set Theory, the Sophists and Wittgenstein 2022 Ingår i: Platonism. - Kirchberg am Wechsel : Österreichische Ludwig Wittgenstein Gesellschaft. ; , s. 168-170 Konferensbidrag (refereegranskat)abstract Rush Rhees, one of Wittgenstein’s three trustees, lectured on Plato and the Presocratics for two decades. In his lecture notes on the Sophists, Rhees briefly mentions Wittgenstein’s views on set theory and claims that mathematicians have responded to them like Sophists. This essay discusses and contextualises Rhees’s claim, including a brief discussion of how Rhees’s understanding of Plato might have influenced him as an editor of Wittgenstein’s Remarks on the Foundations of Mathematics.
36196.	Solin, Kim (författare) Rush Rhees on Wittgenstein's Philosophy of Mathematics 2018 Ingår i: Philosophy of Logic and Mathematics. - Kirchberg am Wechsel : Österreichische Ludwig Wittgenstein Gesellschaft. ; , s. 233-235 Konferensbidrag (refereegranskat)abstract Rush Rhees is arguably the one of Wittgenstein's three trustees who has received the least attention in the secondary literature. In letters to von Wright, kept in Helsinki, Rhees describes his understanding of Wittgenstein's writings on the philosophy of mathematics. I discuss some remarks from two of these letters, and, in passing, contrast the remarks to a few other approaches to the philosophy of mathematics.
36197.	Solin, Kim (författare) Skepticismen i historisk belysning : Recension av Henrik Lagerlund: Skepticism. Översättning Manne Svensson. Fri Tanke 2020, 418 s. 2022 Ingår i: Signum. - 0347-0423. ; 48:7, s. 50-52 Recension (övrigt vetenskapligt/konstnärligt)
36198.	Solin, Kim (författare) Så kan bakslaget visa oss vägen framåt 2023 Ingår i: Svenska Dagbladet, Under strecket. - 1101-2412. ; :28 januari Tidskriftsartikel (populärvet., debatt m.m.)
36199.	Solin, Kim (författare) The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought 2013 Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. Emphasis is put on the difference between technical work and philosophical work. Philosophical work starts in the lifeworld and is akin to anthropology. The descriptions needed in this work can be given by considering our language use and by drawing up objects of comparison. It is nonetheless important not to confuse philosophical problems with problems of a purely intellectual character, since problems in philosophy can be described as bearing similarities to moral problems.In the second part, which is the main part of the dissertation, the classical theories of computation are considered against the background of the first part. The chapter starts by briefly tracing the historical development of the theories back to Hilbert. It is noted that Hilbert was concerned with epistemological questions. After this, it is investigated how well these epistemological questions were dealt with in the theories of computation that followed. In particular, work by Gödel, Church, and Turing is considered. Topics that are discussed are the very idea of mathematically analysing mathematical activity itself, the concept of finite procedure, what is natural in mathematics, and the idea that computations should be described as transitions between states.The third part is about a more recent theory of computation: abstract state machines. It is shown that many of the aspects of the classical theories that were problematic from an epistemological perspective are carried over to the abstract state machines. This includes the notion of state. Other topics are the idea of axiomatising computability, and the use of abstract state machines for proving Church's thesis.
36200.	Solin, Kim (författare) The Revision of Wittgenstein's Remarks on the Foundations of Mathematics 2023 Ingår i: The Creation of Wittgenstein. - : Bloomsbury Academic. - 9781350121096 ; , s. 105-136 Bokkapitel (refereegranskat)

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Resultat 36191-36200 av 43479

Avgränsa träffmängd

Typ av publikation: tidskriftsartikel (12208); doktorsavhandling (9748); bokkapitel (8065); recension (5100); konferensbidrag (2664); bok (2276); visa fler...; samlingsverk (redaktörskap) (1399); annan publikation (911); rapport (507); forskningsöversikt (328); proceedings (redaktörskap) (159); licentiatavhandling (94); konstnärligt arbete (79); visa färre...

Typ av innehåll: övrigt vetenskapligt/konstnärligt (26387); refereegranskat (12413); populärvet., debatt m.m. (4570)

Författare/redaktör: Ekerman, Petrus, 169 ... (445); Fant, Eric Michael, ... (284); Strandberg, Svante, ... (252); Strömquist, Siv (248); Tranér, Johan Vindic ... (241); Knös, Gustaf, 1773-1 ... (235); visa fler...; Stenström, Thure, 19 ... (205); Ihre, Johan, 1707-17 ... (204); Wallerius, Nils, 170 ... (187); Wittrock, Ulf (175); Nyström, Staffan, 19 ... (171); Törner, Fabian, 1666 ... (166); Ekström, Anders, 196 ... (163); Floderus, Johan, 172 ... (155); Karlsson, Anna-Malin ... (146); Martinson, Mattias, ... (143); Schalk, Peter (139); Lundberg, Mattias, 1 ... (134); Kytö, Merja (133); Olsson, Jesper, 1966 ... (130); Hermansson, Johan, 1 ... (121); Unonius, Olof, 1602- ... (121); Larsson, Esbjörn, 19 ... (118); Fridell, Staffan, 19 ... (118); Schröder, Johan Henr ... (116); Boëthius, Daniel, 17 ... (115); Palmblad, Vilhelm Fr ... (115); Andersson, Thorsten (108); Raag, Raimo, 1953- (107); Christiernin, Pehr N ... (107); Karlsohn, Thomas, 19 ... (106); Ronström, Owe, 1953- (106); Csató, Éva Ágnes, 19 ... (102); Eklund, Matti, 1974- (100); Lundberg, Magnus (99); Williams, Anna, 1957 ... (99); Neikter, Jacob Fredr ... (99); Elmevik, Lennart (97); Ågren, Maria, 1959- (96); Grönwall, Anders, 16 ... (95); Ullén, Petrus (94); Haverling, Gerd V M, ... (92); Rosenadler, Johan, 1 ... (92); Adams, Jonathan, 197 ... (90); Legnér, Mattias, 197 ... (90); Meurling, Birgitta (87); Witakowski, Witold, ... (87); Grub, Frank Thomas, ... (86); Lagerlöf, Petrus, 16 ... (86); Wikström, Owe (85); visa färre...

Lärosäte: Uppsala universitet (43479); Stockholms universitet (807); Södertörns högskola (649); Göteborgs universitet (423); Umeå universitet (402); Linköpings universitet (379); visa fler...; Lunds universitet (356); Högskolan Dalarna (282); Linnéuniversitetet (251); Högskolan i Gävle (217); Örebro universitet (209); Kungliga Tekniska Högskolan (132); Karlstads universitet (116); Mittuniversitetet (104); Enskilda Högskolan Stockholm (101); Institutet för språk och folkminnen (98); Mälardalens universitet (72); Karolinska Institutet (66); Marie Cederschiöld högskola (50); Sveriges Lantbruksuniversitet (49); Malmö universitet (47); Riksantikvarieämbetet (47); Nordiska Afrikainstitutet (45); Luleå tekniska universitet (33); Jönköping University (33); Chalmers tekniska högskola (32); Högskolan i Borås (20); Försvarshögskolan (16); Högskolan i Halmstad (13); Gymnastik- och idrottshögskolan (11); Högskolan i Skövde (7); Högskolan Kristianstad (6); Högskolan Väst (5); Konstfack (5); Kungl. Musikhögskolan (5); Naturhistoriska riksmuseet (4); Nationalmuseum (3); RISE (3); Blekinge Tekniska Högskola (3); Handelshögskolan i Stockholm (1); Röda Korsets Högskola (1); visa färre...

Språk: Engelska (16675); Svenska (16499); Latin (7403); Tyska (931); Franska (621); Ryska (156); visa fler...; Spanska (151); Danska (136); Norska (133); Estniska (105); Polska (91); Grekiska, klassisk (80); Isländska (77); Italienska (73); Turkiska (45); Finska (44); Ungerska (35); Persiska (28); Esperanto (21); Bulgariska (19); Hindi (17); Kinesiska (16); Odefinierat språk (14); Nynorsk (12); Kroatiska (11); Iriska (10); Arabiska (9); Japanska (9); Portugisiska (8); Nederländska (6); Koreanska (6); Baluchi (6); Flera språk (5); Nygrekiska (4); Albanska (4); Tjeckiska (3); Serbiska (3); Katalanska (3); Ukrainska (2); Bokmål (2); Rumänska (1); Lettiska (1); Kurdiska (1); Färöiska (1); Mongoliskt språk (1); Frisiska (1); visa färre...

Forskningsämne (UKÄ/SCB): Humaniora (43463)Ta bort avgränsningen; Samhällsvetenskap (2507); Naturvetenskap (587); Medicin och hälsovetenskap (227); Teknik (134); Lantbruksvetenskap (68)

År

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.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy