LEADER 01673nam2 22003733i 450 001 VAN0254983 005 20230523023338.806 017 70$2N$a9783540362524 100 $a20230220d1970 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆ1.: ‰Büchi's Monadic Second Order Successor Arithmetic$fDirk Siefkes$gEdited by Gert H. Müller 210 $aBerlin$cSpringer$d1970 215 $axiv, 134 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v120 461 1$1001VAN0254982$12001 $aDecidable Theories$1210 $aBerlin$cSpringer$d1970-1973$1215 $a2 volumi$d24 cm$v1 606 $a00-XX$xGeneral and overarching topics; collections [MSC 2020]$3VANC025238$2MF 610 $aArithmetic$9KW:K 610 $aDecidability$9KW:K 610 $aSecond Order Successor Arithmetic$9KW:K 610 $aSucessor Arithmetic$9KW:K 620 $dBerlin$3VANL000066 700 1$aSiefkes$bDirk$3VANV043015$057138 702 1$aMüller$bGert H.$3VANV094692$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0061047$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0254983 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5458 $e08eMF5458 20230301 996 $aBuchi's monadic second order successor arithmetic$983134 997 $aUNICAMPANIA LEADER 05126nam 22006255 450 001 9910300107903321 005 20251202135252.0 010 $a3-319-93949-1 024 7 $a10.1007/978-3-319-93949-0 035 $a(CKB)4100000007127549 035 $a(MiAaPQ)EBC5596985 035 $a(DE-He213)978-3-319-93949-0 035 $a(PPN)232473307 035 $a(EXLCZ)994100000007127549 100 $a20181106d2018 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aImagine Math 6 $eBetween Culture and Mathematics /$fedited by Michele Emmer, Marco Abate 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (317 pages) 311 08$a3-319-93948-3 320 $aIncludes bibliographical references. 327 $a1 M. Emmer, Zaha Hadid: Fluid and Topological Architecture -- 2 G. Racana, Zaha Hadid Architects: the Mathematics of Fluidity -- 3 M. Andreatta, A Mathematician at the MUSE, the Science Museum of Trento -- 4 F. Morgan, To Bring Math to the World, Start with Mathematicians -- 5 O. Pekonen, My Life in the Shape of Maupertuis -- 6 M. Andreatta, From Music to Mathematics and Backwards: Introducing Algebra, Topology and Category Theory into Computational Musicology -- 7 S. Pagano, Mathematics and Labyrinths in Twentieth Century?s Music -- 8 M. Abate, How to prevent Crimes using Earthquakes -- 9 M. Codegone, A Negativer Number as the Sum of All Natural Numbers -- 10 C. Falcolini, The Arch of Titus at the Circus Maximus in Rome: from mathematical models to virtual reconstruction -- 11 F. Morgan, The Space of Planar Soap Bubble Clusters -- 12 P. Rossi, Mathematics as a Social Language: a (Past and Present) Phenomenology -- 13 G. Bruno and M. Ciafrei, Balance in... Forms: The Dance of Design -- 14 A. Quarteroni, C. Vergara and M. Landajuela, Mathematical and Numerical Description of the Heart Function -- 15 G. M. Todesco, Weird Gears -- 16 A. Brigaglia, N. Palladino and M. A. Vaccaro, Historical Notes on Star Geometries in Mathematics, Art and Nature -- 17 C. Leopold, Pentagonal Structures, Structures as Impulse for Art -- 18 V. Moncorge, Mathematics, a Closer Look -- 19 A. Mouchet, Drowning by Numbers: Topology and Physics in Fluid Dynamics -- 20 M. Emmer, Alain Badiou: Eloges des Mathématiques -- 21 P. Magnaghi-Delfino and T. Norando, Luca Pacioli: Letters from Venice -- 22 R. Schiavi, Dante?s Underworld: Geometrical Structure of the Three Kingdoms of the Divine Comedy -- 23 S. Singh, The Simpsons and Their Mathematical Secrets -- 24 E. Strickland, From Algebra to the Secrets of the Universe: the Fascinating Life of Mary Somerville. 330 $aImagine mathematics, imagine with the help of mathematics, imagine new worlds, new geometries, new forms. Imagine building mathematical models that make it possible to manage our world better, imagine combining music, art, poetry, literature, architecture and cinema with mathematics. Imagine the unpredictable and sometimes counterintuitive applications of mathematics in all areas of human endeavour. Imagination and mathematics, imagination and culture, culture and mathematics. This sixth volume in the series begins with a homage to the architect Zaha Hadid, who died on March 31st, 2016, a few weeks before the opening of a large exhibition of her works in Palazzo Franchetti in Venice, where all the Mathematics and Culture conferences have taken place in the last years. A large section of the book is dedicated to literature, narrative and mathematics including a contribution from Simon Singh. It discusses the role of media in mathematics, including museums of science, journals and movies. Mathematics and applications, including blood circulation and preventing crimes using earthquakes, is also addressed, while a section on mathematics and art examines the role of math in design. A large selection presents photos of mathematicians and mathematical objects by Vincent Moncorge. Discussing all topics in a way that is rigorous but captivating, detailed but full of evocations, it offers an all-embracing look at the world of mathematics and culture. 606 $aMathematics 606 $aArchitecture 606 $aDesign 606 $aComputer graphics 606 $aArts 606 $aApplications of Mathematics 606 $aArchitecture 606 $aDesign 606 $aComputer Graphics 606 $aArts 615 0$aMathematics. 615 0$aArchitecture. 615 0$aDesign. 615 0$aComputer graphics. 615 0$aArts. 615 14$aApplications of Mathematics. 615 24$aArchitecture. 615 24$aDesign. 615 24$aComputer Graphics. 615 24$aArts. 676 $a510.19 702 $aEmmer$b Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAbate$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910300107903321 996 $aImagine Math 6$91564771 997 $aUNINA