Theoretical computer scienceTheoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: History of computer science While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness theorem that there are fundamental limitations on what statements could be proved or disproved.
Comparative linguisticsComparative linguistics is a branch of historical linguistics that is concerned with comparing languages to establish their historical relatedness. Genetic relatedness implies a common origin or proto-language and comparative linguistics aims to construct language families, to reconstruct proto-languages and specify the changes that have resulted in the documented languages. To maintain a clear distinction between attested and reconstructed forms, comparative linguists prefix an asterisk to any form that is not found in surviving texts.
CalabriaCalabria is a region in Southern Italy. It is a peninsula bordered by Basilicata to the north, the Ionian Sea to the east, the Strait of Messina to the southwest, which separates it from Sicily, and the Tyrrhenian Sea to the west. It has almost 2 million residents across a total area of approximately . Catanzaro is the region's capital. Calabria is the birthplace of the name Italy, given to it by the Ancient Greeks who settled in this land starting from the 8th century BC.
Italian Civil WarThe Italian Civil War (Italian: Guerra civile italiana, ˈɡwɛrra tʃiˈviːle itaˈljaːna) was a civil war in the Kingdom of Italy fought during World War II between Italian fascists and Italian partisans (mostly politically organized in the National Liberation Committee) and, to a lesser extent, the Italian Co-belligerent Army. Many Italian fascists were soldiers or supporters of the Italian Social Republic, a collaborationist puppet state created under the direction of Nazi Germany during its occupation of Italy.
MonzaMonza (USˈmɒnzə,_ˈmoʊnzə,_ˈmoʊntsɑː, ˈmontsa; Monça, locally Monscia ˈmũːʃa; Modoetia) is a city and comune on the River Lambro, a tributary of the Po in the Lombardy region of Italy, about north-northeast of Milan. It is the capital of the Province of Monza and Brianza. Monza is best known for its Grand Prix motor racing circuit, the Autodromo Nazionale di Monza, which hosts the Formula One Italian Grand Prix with a massive Italian support tifosi for the Ferrari team.
Ancient Greek artAncient Greek art stands out among that of other ancient cultures for its development of naturalistic but idealized depictions of the human body, in which largely nude male figures were generally the focus of innovation. The rate of stylistic development between about 750 and 300 BC was remarkable by ancient standards, and in surviving works is best seen in sculpture. There were important innovations in painting, which have to be essentially reconstructed due to the lack of original survivals of quality, other than the distinct field of painted pottery.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Active imaginationActive imagination refers to a process or technique of engaging with the ideas or images in one's imagination, and is used as a mental strategy to communicate with the subconscious mind. In Jungian psychology, it is a method for bridging the conscious and unconscious minds. Instead of being linked to the Jungian process, the word "active imagination" in modern psychology is most frequently used to describe a propensity to have a very creative and present imagination.
Collective unconsciousCollective unconscious (kollektives Unbewusstes) refers to the unconscious mind and shared mental concepts. It is generally associated with idealism and was coined by Carl Jung. According to Jung, the human collective unconscious is populated by instincts, as well as by archetypes: ancient primal symbols such as The Great Mother, the Wise Old Man, the Shadow, the Tower, Water, and the Tree of Life. Jung considered the collective unconscious to underpin and surround the unconscious mind, distinguishing it from the personal unconscious of Freudian psychoanalysis.
Linguistic typologyLinguistic typology (or language typology) is a field of linguistics that studies and classifies languages according to their structural features to allow their comparison. Its aim is to describe and explain the structural diversity and the common properties of the world's languages. Its subdisciplines include, but are not limited to phonological typology, which deals with sound features; syntactic typology, which deals with word order and form; lexical typology, which deals with language vocabulary; and theoretical typology, which aims to explain the universal tendencies.
