Arnošt Kolman’s Critique of Mathematical Fetishism

Arnošt Kolman (1892–1979) was a Czech mathematician, philosopher and Communist official. In this paper, we would like to look at Kolman’s arguments against logical positivism which revolve around the notion of the fetishization of mathematics. Kolman derives his notion of fetishism from Marx’s conception of commodity fetishism. Kolman is aiming to show the fact that an entity (system, structure, logical construction) acquires besides its real existence another formal existence. Fetishism means the fantastic detachment of the physical characteristics of real things or phenomena from these things. We identify Kolman’s two main arguments against logical positivism. In the first argument, Kolman applied Lenin’s arguments against Mach’s empiricism-criticism onto Russell’s neutral monism, i.e. mathematical fetishism is internally related to political conservativism. Kolman’s second main argument is that logical and mathematical fetishes are epistemologically deprived of any historical and dynamic dimension. In the final parts of our paper we place Kolman’s thinking into the context of his time, and furthermore we identify some tenets of mathematical fetishism appearing in Alain Badiou’s mathematical ontology today

Random number generator

Práce se věnuje problematice náhodných čísel, jejich generování a použití v kryptografii. Úvod je zaměřen na rozlišení generátorů na náhodné a pseudonáhodné. Dále je uvedeno často používané dělení na softwarové a hardwarové. Jsou zde zmíněny výhody a nevýhody jednotlivých typů a oblast jejich použití. Posléze jsou popsány příklady generátorů náhodných i pseudonáhodných čísel, zejména pak těch hardwarových založených na fyzikálních veličinách jako je rozpad radioaktivního materiálu či využití atmosférického šumu. Následující část je věnována návrhu vlastního generátoru náhodných čísel a popisu jeho funkčnosti. V druhé polovině práce se pak věnujeme oblasti kryptografie. Seznámíme se se základními typy kryptografických systémů, tedy symetrickými a asymetrickými kryptosystémy. Představíme si typické zástupce jednotlivých skupin a jejich vlastnosti. V závěru práce se opět vrátíme k našemu generátoru náhodných čísel a provedeme testy k ověření náhodnosti vygenerovaných čísel a získaných kryptogramů.The thesis deals with issues of random numbers, their generating and use in cryptography. Introduction of work is aimed to resolution of random number generators and pseudo--random number generators. There is also included often used dividing generators on software and hardware. We mention advantages and disadvantages of each type and area of their use. Then we describe examples of random and pseudorandom numbers, mainly hardware based on physical phenomenon such as the decay of radioactive material or use atmospheric noise. The following part is devoted to suggestion own random number generator and a description of its functionality. In the second half of the work we devote to the field of cryptography. We know basic types of cryptographic systems, namely symmetric and asymmetric cryptosystems. We introduce a typical representant the various type and their properties. At the end of the work we again return to our random number generator and verify the randomness generated numbers and obtained cryptograms.

3D Shape Interpolation

Tato práce se zabývá tvorbou nástroje pro postupnou změnu tvaru trojrozměrného polygonálního modelu. Použité metody se inspirují zejména technikou Manual Landmarks a~využívají parametrizace objektu na kouli. Výsledkem práce je zásuvný modul do volně šiřitelného modelovacího programu Blender, který automaticky vytvoří animaci změny tvaru ze dvou vstupních modelů.This thesis deals with creation of a~tool for progressive interpolation of shape of a~3D polygonal mesh. Used methods take inspiration mainly in technique Manual Landmarks and use parametrization of an object to a~sphere. The result of this thesis is an addon for an open-source modelling program Blender, which automatically creates an animation of shape deformation based on two input models.

James O. Young, ed., Semantics of Aesthetic Judgements

14715

Modal Realism and the Problem of Missing Diversity

According to modal realism, logical space consists of concrete possible worlds that are spatiotemporally and causally isolated from each other. The aim of the paper is to show that modal realism may not be able to accomplish some of its explanatory tasks because it cannot warrant that logical space is sufficiently diverse. In particular, it cannot exclude the possibility that merely possible worlds are indistinguishable from the actual world in certain important respects. If this is the case, modal realism cannot explain the truth of some modal statements that are obviously true or the contingency of some non-modal statements that are obviously ontingent

Pavel Materna, "Conceptual Systems", Logos Verlag, Berlin 2004

Book Reviews: Pavel Materna, "Conceptual Systems", Logos Verlag, Berlin 2004, pp. 190

Systems for checing electronic texts

Práce se zabývá možností kontroly elektronických textů. Ať už se jedná o zdrojové kódy či běžné textové dokumenty. První kapitola je věnována stručnému vysvětlení plagiátu a jeho znaků. V dalších částech textu popisujeme metody a metriky využívané k odhalování plagiátorů. Poté věnujeme pozornost detekování plagiátů ve volném textu a zdrojových kódech. U volného textu popisujeme způsob předzpracování souboru a výběr základních jednotek, které následně dokument zastupují při porovnávání. Zdrojové kódy mají svou přesně danou syntaxi, a proto se v kapitole popisující přístupy k jejich kontrole věnujeme syntaktické a sémantické analýze. Druhá polovina práce je zaměřena na praktickou část, zejména na programy určené ke kontrole zdrojových kódů. Programy rozdělíme na volně dostupné a komerční. Poté následuje jejich stručný popis a v případě, že umožňují bezplatné vyzkoušení, jsou u nich uvedeny výsledky porovnávání. K tomu účelu jsme vytvořili korpus zdrojových kódů. V závěru práce se věnujeme návrhu programu, který porovnává dva zdrojové kódy na základě statistické podobnosti.The work deals with the possibility of control of electronic texts. Whether it is a source codes or standard text documents. The first chapter is devoted to a brief explanation of the term plagiarism and its characters. Sequentially we describe the methods and metrics used to detect plagiarist. Then we pay attention to detect plagiarism in the free text and source codes. We describe the way of preprocessing of a file and choice of basic units, which represent the document in the comparing. Source codes have a exact syntax. Therefore we attend to the syntax and semantic analysis in the chapter, which describes the check of source codes. The second half of the work is focused on the practical part, particularly on programs intended to control the source codes. The programs are divided to the freely available and the commercial. This is followed by their brief description and if it is a free trial possible we mention the results from this comparing. So we created a corpus of source codes. At the end of the work we focus on design of a program, which compares two source codes on the basis of statistical similarities.

Gödelova věta a relace logického důsledku

In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a certain formal theory of arithmetic are true. Furthermore, the statement whose truth is shown in this way cannot be proved in the theory in question. Thus it may seem that the relation of logical consequence is wider than the relation of derivability by a pre-defined set of rules. The aim of this paper is to explore under which assumptions the Gödelian statement can rightly be considered a logical consequence of the axioms of the theory in question. It is argued that this is the case only when the all the theorems of the theory in question are understood as statements of the same kind as statements of arithmetic and statements about provability in the theory, and only if the language of the theory contains logical expressions allowing to include certain predicates of meta-language in the language of the theory

Study of Transfer of Musk Compounds in Abiotic and Biotic Components of Aquatic Ecosystems

Práce byla zaměřena na stanovení musk sloučenin v různých složkách životního prostředí. Syntetické musk sloučeniny jsou organické látky běžně používané jako vonné složky detergentů, parfémů, kosmetiky a ostatních produktů osobní péče. Tyto sloučeniny kontaminují prostřednictvím komunální odpadní vody z čistíren odpadních vod vodní prostředí. Výsledkem je akumulace těchto analytů v životním prostředí a jejich výskyt v potravním řetězci. Syntetické vonné látky jsou také běžně detekovány v lidském těle; obecně patří mezi relativně nové perzistentní organické polutanty (POP) vzhledem ke své perzistenci, bioakumulaci a potenciální toxicitě. Základem této práce byla optimalizace metod pro stanovení vybraných syntetických vonných látek v odpadní vodě (komunální, průmyslové) a v rybí svalovině. Tyto analyty byly zjišťovány v odpadní vodě [čistírna odpadních vod (ČOV) Brno – Modřice; závod na výrobu kosmetiky] a v rybách Squalius cephalus, které byly odloveny z řeky Svratky. Vybrané analyty (14 látek) pocházely ze skupiny nitromusk, polycyklických musk a lineárních musk sloučenin. Pro izolaci analytů z reálných vzorků odpadní vody byla použita metoda mikroextrakce na tuhou fázi (SPME), pro izolaci analytů ze vzorků ryb byla použita metoda zrychlené extrakce rozpouštědlem (PSE). Identifikace a kvantifikace analytů byla provedena vysokorozlišovací plynovou chromatografií s hmotnostně-spektrometrickou detekcí (GC-MS). Z výsledků vyplývá, že z polycyklických musk sloučenin dosahovaly nejvyšších koncentrací na přítoku i odtoku z ČOV Brno – Modřice galaxolid (g.l-1) a tonalid (desetiny g.l-1). Nejčastěji stanovovanou nitromusk sloučeninou v odpadní vodě byl musk keton (setiny g.l-1). Lineární musk sloučeniny byly detekovány ve všech vzorcích surové odpadní vody (g.l-1). Celková účinnost odstranění syntetických musk sloučenin z odpadní vody na dané ČOV se pohybuje v těchto rozmezích: nitromusk sloučeniny 34,4 – 85,4 %, polycyklické musk sloučeniny 36,7 – 53,3 % a lineární musk sloučeniny 90,5 – 99,9 %. Na podkladě výsledků lze konstatovat, že odpadní voda (odtok z ČOV) je primárním zdrojem musk sloučenin, a to zejména polycyklických, v životním prostředí. Rovněž bylo prokázáno, že ultrafiltrace v kosmetickém závodu je vysoce účinnou technologií pro odstranění nitromusk a polycyklických musk sloučenin z průmyslové odpadní vody. Z výsledků hodnocení kontaminace ryb musk sloučeninami vyplývá, že nejvyšších koncentrací dosahoval galaxolid (desítky g.kg-1 ž.hm.). Výsledky potvrzují ubikvitární výskyt musk sloučenin v životním prostředí a omezené použití nitromusk sloučenin v důsledku jejich potenciálních toxických vlastností. Bylo prokázáno, že ČOV Brno – Modřice má významný podíl na hodnotách obsahu polycyklických musk sloučenin (tonalidu, galaxolidu) v rybách odlovených z řeky Svratky.This work was focused on the determination of musk compounds in various components of the environment. Synthetic musk compounds are organic substances commonly used as fragrant constituents of detergents, perfumes, cosmetics and other personal care products (PCPs). These compounds contaminate the aquatic environment through municipal wastewater from sewage treatment plants. The result is accumulation of these analytes in the environment and their occurrence in food chain. Synthetic fragrances are commonly detected also in human body; these substances generally belong among relatively new persistent organic pollutants (POPs) because of their persistence, bioaccumulation, and potential toxicity. The aim of this work was to optimize the methods for the determination of selected synthetic fragrances in wastewater (municipal, industrial) and in fish muscle. These analytes were determined in wastewater [the wastewater treatment plant (WWTP) Brno – Modřice, cosmetic manufacturing plant] and in fish Squalius cephalus that had been caught in the river Svratka. The selected analytes (14 substances) originate from the group of nitromusk, polycyclic musk and linear musk compounds. Solid phase microextraction (SPME) [for wastewater samples] and pressurized solvent extraction (PSE) [for fish samples] were used for isolation of analytes from real samples. The identification and quantification of analytes were carried out by high resolution gas chromatography coupled with mass spectrometry detection (GC-MS). The results show that galaxolide (g.L-1) and tonalide (tenths of g.L-1) were polycyclic musk compounds which were found at the highest concentration level in influent and also in effluent samples from the WWTP Brno – Modřice. The most extended nitromusk compound was musk ketone (hundredths of g.L-1). Linear musk compounds were detected in all influent samples (g.L-1). The overall removal efficiency of synthetic musk compounds from wastewater in the WWTP varies within the following ranges: nitromusk compounds 34.4 % – 85.4 %, polycyclic musk compounds 36.7 % – 53.3 % and linear musk compounds 90.5 % – 99.9 %. On the basis of the results it can be stated that wastewater (effluent from the WWTP) is the primary source of musk compounds, especially of the polycyclic ones in the environment. It has been also shown that ultrafiltration used in a cosmetic plant is a highly efficient technology for removing nitromusk and polycyclic musk compounds from industry wastewater. The results from evaluation of the fish contamination by musk compounds show that galaxolide was the substance which reached the highest concentration levels (tens of g.kg-1 l.w.). The results corroborate ubiquitous occurrence of musk compounds in the environment and reduction of using of nitromusk compounds due to their potential toxic properties. It has been shown that the insufficiency of the purifying procedures used in the WWTP Brno – Modřice has a significant influence on the concentration level of polycyclic musk compounds (tonalide, galaxolide) in fish caught from the river Svratka.