LEADER 04654nam 22013215 450 001 9910154751403321 005 20190708092533.0 010 $a1-4008-8178-1 024 7 $a10.1515/9781400881789 035 $a(CKB)3710000000620162 035 $a(MiAaPQ)EBC4738582 035 $a(DE-B1597)467981 035 $a(OCoLC)979970559 035 $a(DE-B1597)9781400881789 035 $a(EXLCZ)993710000000620162 100 $a20190708d2016 fg 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aOn Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 /$fCharles F. Miller 210 1$aPrinceton, NJ : $cPrinceton University Press, $d[2016] 210 4$d©1972 215 $a1 online resource (121 pages) 225 0 $aAnnals of Mathematics Studies ;$v242 311 $a0-691-08091-7 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tPREFACE -- $tCONTENTS -- $tCHAPTER I. INTRODUCTION -- $tCHAPTER II. PROPERTIES OF BRITTON EXTENSIONS -- $tCHAPTER III. UNSOLVABILITY RESULTS FOR RESIDUALLY FINITE GROUPS -- $tCHAPTER IV. THE WORD AND CONJUGACY PROBLEMS FOR CERTAIN ELEMENTARY GROUPS -- $tCHAPTER V. ON THE ISOMORPHISM PROBLEM FOR GROUPS -- $tLIST OF REFERENCES -- $tINDEX OF SYMBOLS -- $tINDEX 330 $aPart exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for groups. The presentation depends on previous results of J. L. Britton, which, with other factual background, are treated in detail. 410 0$aAnnals of mathematics studies ;$vNumber 68. 606 $aGroup theory 606 $aLogic, Symbolic and mathematical 610 $aAbelian group. 610 $aBetti number. 610 $aCharacteristic function (probability theory). 610 $aCharacterization (mathematics). 610 $aCombinatorial group theory. 610 $aConjecture. 610 $aConjugacy class. 610 $aConjugacy problem. 610 $aContradiction. 610 $aCorollary. 610 $aCyclic permutation. 610 $aDecision problem. 610 $aDiffeomorphism. 610 $aDirect product. 610 $aDirect proof. 610 $aEffective method. 610 $aElementary class. 610 $aEmbedding. 610 $aEnumeration. 610 $aEpimorphism. 610 $aEquation. 610 $aEquivalence relation. 610 $aExact sequence. 610 $aExistential quantification. 610 $aFinite group. 610 $aFinite set. 610 $aFinitely generated group. 610 $aFinitely presented. 610 $aFree group. 610 $aFree product. 610 $aFundamental group. 610 $aFundamental theorem. 610 $aGroup (mathematics). 610 $aGroup theory. 610 $aGödel numbering. 610 $aHomomorphism. 610 $aHomotopy. 610 $aInner automorphism. 610 $aMarkov property. 610 $aMathematical logic. 610 $aMathematical proof. 610 $aMathematics. 610 $aMonograph. 610 $aNatural number. 610 $aNilpotent group. 610 $aNormal subgroup. 610 $aNotation. 610 $aPermutation. 610 $aPolycyclic group. 610 $aPresentation of a group. 610 $aQuotient group. 610 $aRecursive set. 610 $aRequirement. 610 $aResidually finite group. 610 $aSemigroup. 610 $aSimple set. 610 $aSimplicial complex. 610 $aSolvable group. 610 $aStatistical hypothesis testing. 610 $aSubgroup. 610 $aTheorem. 610 $aTheory. 610 $aTopology. 610 $aTransitive relation. 610 $aTriviality (mathematics). 610 $aTruth table. 610 $aTuring degree. 610 $aTuring machine. 610 $aWithout loss of generality. 610 $aWord problem (mathematics). 615 0$aGroup theory. 615 0$aLogic, Symbolic and mathematical. 676 $a512/.2 700 $aMiller$b Charles F., $055992 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910154751403321 996 $aOn Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68$92787933 997 $aUNINA LEADER 02526 am 2200481 n 450 001 9910495841703321 005 20240104030733.0 010 $a2-251-91408-0 024 7 $a10.4000/books.lesbelleslettres.4617 035 $a(CKB)5590000000468054 035 $a(FrMaCLE)OB-lesbelleslettres-4617 035 $a(PPN)255906226 035 $a(EXLCZ)995590000000468054 100 $a20210503j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 200 03$aLe convive et le savant$eSophistes, rhéteurs, grammairiens et philosophes au banquet de Platon à Athénée$fYannick Scolan 210 $aParis$cLes Belles Lettres$d2021 215 $a1 online resource (392 p.) 311 $a2-251-44702-4 330 $aPourquoi Platon, Xénophon, Plutarque, Lucien et Athénée ont-ils choisi de placer leurs savants personnages dans des banquets ? Aucun d?entre eux ne semble pouvoir se comporter à table et dans le vin comme il le ferait dans le cercle, moins agité, d?une école. Il en va jusqu?à Socrate qui, loin de refuser les plaisirs de la chère, s?en sert pour conduire ses compagnons de boisson vers la philosophie. Car le banquet ne constitue pas le simple cadre formel de discussions plus déliées qu?ailleurs : il en devient le sujet même et permet, à partir d?une incongruité ou d?une plaisante obscurité, d?ébranler l?opinion première des convives et de créer les conditions d?une recherche partagée. Mauvais savant serait celui qui, dans de pareilles circonstances, revendiquerait un savoir établi et définitif pour refuser le plaisir symposiaque d?une conversation volontiers facétieuse à laquelle chacun, loin de toute érudition de mauvais aloi, doit, au contraire, apporter son écot. La table et le vin révèlent l?homme tel qu?il est, philosophe ou ignorant, non seulement dans ses paroles mais aussi dans ses actes : bon convive est le vrai savant. 606 $aClassics 606 $aPhilosophy 606 $agrammaire 606 $aAthènes 606 $asophistique 606 $aantiquité 606 $aLe Banquet 606 $aphilosophie 615 4$aClassics 615 4$aPhilosophy 615 4$agrammaire 615 4$aAthènes 615 4$asophistique 615 4$aantiquité 615 4$aLe Banquet 615 4$aphilosophie 700 $aScolan$b Yannick$01459450 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910495841703321 996 $aLe convive et le savant$93658714 997 $aUNINA