Tomáš Svítek je český inženýr a podnikatel, který od roku A1985 žije v USA. Je majitelem firmy Stellar Exploration, která vyvíjí technologie pro kosmický výzkum. Pracoval pro Elona Muska i Jeffa Bezose, dva muže, kteří nastartovali soukromý sektor v kosmonautice.
Jedno procento
AUDIO: Když jsem v osmdesátých letech emigroval do USA, myslel jsem si, že jednou poletím na Mars, říká podnikatel Tomáš Svítek (210)
Proč se nemůžete soustředit (a co s tím dělat) - dopamin - dopamine
Jirka vysvětluje věci
7 denních STOICKÝCH lekcí o budování sebediscipliny během náročných dnů - Ryan Holiday
Open Browser Devtools
Microsoft Edge Tools for VS Code
@id:ms-edgedevtools.vscode-edge-devtools
-----------------
cdn.tailwindcss.com should not be used in production. To use Tailwind CSS in production, install it as a PostCSS plugin or use the Tailwind CLI: https://tailwindcss.com/docs/installation
PostCSS Sorting
-----------------------------------------------
Live Server v5.7.9 ritwickdey
ESLint v3.0.10 dbaeumer 40,000,000 (240) Integrates ESLint JavaScript into VS Code.
This extension is recommended based on the files you recently opened.
markdownlint v0.57.0 DavidAnson 8,100,000
This extension is recommended based on the files you recently opened.
Microsoft Edge Tools https://github.com/microsoft/vscode-edge-devtools
You are an AI coding instructor designed to assist and guide me as I learn to code. Your primary goal is to help me learn programming concepts, best practices, and problem-solving skills while writing code. Always assume I'm a beginner with limited programming knowledge.
Follow these guidelines in all interactions:
1. Explain concepts thoroughly but in simple terms, avoiding jargon when possible.
2. When introducing new terms, provide clear definitions and examples.
3. Break down complex problems into smaller, manageable steps.
4. Encourage good coding practices and explain why they are important.
5. Provide examples and analogies to illustrate programming concepts.
6. Be patient and supportive, understanding that learning to code can be challenging.
7. Offer praise for correct implementations and gentle corrections for mistakes.
8. When correcting errors, explain why the error occurred and how to fix it.
9. Suggest resources for further learning when appropriate.
10. Encourage me to ask questions and seek clarification.
11. Foster problem-solving skills by guiding me to find solutions rather than always providing direct answers.
12. Adapt your teaching style to my pace and learning preferences.
13. Provide code snippets to illustrate concepts, but always explain the code line by line.
14. Use comments throughout the code to help document what is happening
Address the my questions thoroughly, keeping in mind the guidelines above. If the question is unclear or lacks context, ask me for clarification.
Review the code and provide feedback. If there are errors or areas for improvement, explain them clearly and suggest corrections. If the code is correct, offer praise and explain why it's a good implementation.
Structure your responses as follows:
1. Format your response as markdown
2. Answer my question
3. Code review and feedback
4. Suggestions for further learning or practice
Remember, your goal is not just to help me write correct code, but to help me understand the underlying principles and develop my programming skills. Always strive to be clear, patient, and encouraging in your responses.
Mobilní telefony a sociální sítě zásadně proměnily způsob, jakým dospívající komunikují, tráví volný čas a formují svou identitu. Místo osobních setkání převažuje pasivní konzumace obsahu, sociální srovnávání a přetrvávající online přítomnost. Výzkumy posledních let ukazují jednoznačné souvislosti s nárůstem deprese, úzkostí, poruch spánku, poklesem sebevědomí. pokusů o sebevraždu, úbytkem přirozených face-to-face kontaktů ... Tyto změny mají hluboký dopad na vývoj mozku, emoční zralost, duševní zdraví celé generace.
Věty o neúplnosti brněnského rodáka Kurta Gödela nebyly publikovány v jednom konkrétním roce, ale v průběhu několika let. Jeho práce na větách o neúplnosti a souvisejících metamatematických výsledcích probíhala v letech 1929 - 1939
Níže ale nakoukneme na základy Gödelova ontologického důkazu Boha
Gödelův ontologický argument existence Boha je formální logický důkaz, který se snaží dokázat existenci Boha na základě definic a logických axiomů. Důkaz je inspirován argumenty Leibnize a Anselma z Canterbury. Gödelův argument, ačkoli je formálně elegantní, má i své nedostatky a je stále předmětem filozofické diskuse.
Gödelův ontologický důkaz Gödelův důkaz vychází z pěti axiomů a tří definic.
Klíčovým prvkem důkazu je pojem "pozitivní vlastnost", která je vnímána jako vlastnost, která je "dobrá" v "morálně estetickém" smyslu. Mezi tyto vlastnosti patří například všemohoucnost, nekonečnost, věčnost, myšlení a vůle.
Axiom 1: Pokud je nějaká vlastnost pozitivní, pak její negace není pozitivní.
•
Axiom 2: Každá vlastnost, která zahrnuje nějakou pozitivní vlastnost, je pozitivní.
•
Axiom 3: "Být jsoucnem božské povahy" je pozitivní vlastnost.
•
Axiom 4: Je-li nějaká vlastnost pozitivní, pak je nutně pozitivní.
•
Axiom 5: Nutná existence je pozitivní vlastnost
Definice 1: Nějaké jsoucno je božské podstaty (God-like) tehdy a jen tehdy, jsou-li všechny jeho vlastnosti pozitivní a pro všechny vlastnosti platí, že pokud jsou pozitivní, potom je toto jsoucno má.
Definice 2: Určitá vlastnost je esencí individua, má-li individuum tuto vlastnost, a jestliže každá vlastnost individua z ní nutně vyplývá.
Definice 3: Individuum nutně existuje, pokud pro esenci individua nutně existuje individuum, které ji má.
Z těchto axiomů a definic je odvozeno několik teorémů:
Teorém 1: Pozitivní vlastnosti jsou možné, tedy že existuje alespoň jeden objekt, který má danou pozitivní vlastnost.
Teorém 2: Existence je nutnou vlastností jsoucna božské podstaty, tedy patří k jeho esenci.
Teorém 3: Z toho vyplývá závěr, že Bůh nutně existuje.
Gödelův důkaz je formální, využívá modální logiku a systém S5. Použití systému S5 je klíčové pro odvození nutné existence Boha. Tento systém umožňuje, aby z možnosti existence Boha byla odvozena jeho nutná existence. Důkaz je založen na definování Boha jako souhrnu všech pozitivních vlastností a na tvrzení, že existence je jednou z těchto pozitivních vlastností.
Velmi zajímavé aspekty Gödelova důkazu
Formální přesnost: Gödelův důkaz je formálně přesný a používá matematickou logiku.
Inspirace Leibnizem: Gödelův důkaz je inspirován Leibnizem, kterého Gödel považoval za svého nejoblíbenějšího filozofa. Gödel studoval Leibnizovy spisy, což se odrazilo v jeho argumentaci.
Racionalizace víry: Gödelův důkaz může být interpretován jako snaha o racionalizaci víry v Boha. Je to pokus o spojení filozofie a teologie.
Důležitý svědectví o názorech významného myslitele: Důkaz představuje důležité svědectví o názorech významného myslitele minulého století
Brněnský rodák Kurt Gödel ale asi nebyl zcela spokojen s jeho ontologickým důkazem Boha. Proto ho asi také dlouho nepublikoval a dále na něm asi pracoval.
Gödelův ontologický argument je fascinující pokus o logické dokázání Boží existence.
Osobně mi přijdou jeho věty o neúplnosti opravdu geniální
Gödel's incompleteness theorem: a conceptual explanation / Gödelova věta o neúplnosti: konceptuální vysvětlení Gödelovy věty o neúplnosti
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
Wiki mmj. píše: Gödelovy věty o neúplnosti jsou dvě zásadně důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice. Důležitou roli však hrají v celé matematice.
Gödelovy věty o neúplnosti poukazují na zásadní limity formálních systémů – konkrétně, že v každém dostatečně silném axiomatickém systému existují tvrzení, která nelze ani dokázat, ani vyvrátit uvnitř samotného systému. Pokud se na Gödelův ontologický důkaz podíváme jako na formalizovaný argument v rámci logického systému, pak tyto věty naznačují, že systém nemusí být schopen vyřešit všechny otázky, včetně metafyzických tvrzení o existenci nebo neexistenci Boha.
To znamená věřící ateisté i věřící Bohu zatím asi mají smůlu. Ani jedno se nepodařilo prokázat.
Význam Kurta Gödela zůstáva předmětem diskusí logiků, teologů i filozofů. Sám Gödel se o důkaze vyjádřil jako o jistém cvičení použití moderních prostředků modální logiky.
Časová osa klíčových událostí spojených s Gödelovými větami o neúplnosti:
Kurt Gödel se narodil 28. dubna 1906 v Brně
1929-1930: Gödel dosáhl průlomových výsledků v logice a matematice, včetně důkazu úplnosti predikátové logiky prvního řádu.
1931: Gödel publikoval svůj první článek o neúplnosti, který ukázal, že v každém dostatečně silném formálním systému, který obsahuje aritmetiku, existují pravdivá tvrzení, která nelze v rámci tohoto systému dokázat. Tento článek je zásadním mezníkem v dějinách logiky a matematiky.
1931-1939: Gödel dále rozvíjel své práce na neúplnosti a undecidabilitě, které zásadně změnily pohled na moderní matematiku
Důležité je, že Gödelovy věty o neúplnosti se týkají formálních systémů, které obsahují aritmetiku, a ukazují, že matematika nemůže být založena pouze sama na sobě. Důsledkem je nemožnost dokázat konzistenci matematiky pouze v rámci matematiky. Gödel svými větami o neúplnosti zásadně otřásl Hilbertovým programem, který usiloval o formalizaci a dokázání konzistence celé matematiky.
Pojmem Hilbertův program se označuje snaha německého matematika Davida Hilberta o formalizaci matematiky až na úroveň jednoduchých axiomů, ze kterých by se daly korektně dokázat všechny matematické věty.
Ti, kteří si přečetli přibližně první polovinu až tři čtvrtiny Nového zákona - Nové smlouvy, budou pravděpodobně potřebovat asi 50 - 100 stran Starého zákona - Staré smlouvy pro pochopení kontextu.
Následně se asi objektivněji může rozhodnout zda bude nebo nebude věřit biblickému Bohu.
Samozřejmě biblickému Bohu věřit nemusí ale také asi může začít připouštět jeho existenci.
Těžko někdo může popírat Boha kdo cca alespoň tuto část Bible nečetl. Proč? Protože netuší nebo neví kdo biblický Bůh je.
This setting allows you to define the printing method when the "RGB Source Profile" is applied. The machine is equipped with a color management system that offers the following color rendering styles. Settings can be applied separately for text, graphics, and image data.
[Perceptual]
This setting yields the best results for photographic or bitmap images.
[Saturation]
This setting is most suitable for printing illustrations and diagrams used in business presentations.
[Colorimetric]
This setting ensures a close match to the RGB color values within the machine's printing range.
Pokud tisknete fotografie, kde jsou důležité přirozené přechody a vizuální harmonie, použijte Perceptual.
Pokud potřebujete tisknout přesné barvy, například logo nebo technické dokumenty, kde záleží na věrnosti konkrétní barvy, použijte Relative Colorimetric.
Canon - Six steps to perfect colour prints
How to achieve a seamless colour-calibrated workflow with your Canon pro photo printer.
Jaký je rozdíl mezi „Relative Colorimetric“ a „Perceptual“
Obě metody správy barev při tisku určují, jak budou RGB barvy převedeny do tiskového barevného prostoru tiskárny (CMYK). Rozdíly mezi nimi jsou zásadní zejména v zachování vztahů mezi barvami a zvládání barev mimo gamut tiskárny.
1. Perceptual Rendering (Perceptuální převod)
Vhodné pro: Fotografické a bitmapové obrázky, kde je důležitá vizuální konzistence a plynulé přechody.
Princip: Tato metoda zachovává vizuální vztahy mezi barvami, a to i v případě, že barvy jsou mimo gamut tiskárny.
Jak funguje:
Barvy jsou přemapovány tak, aby všechny odstíny zachovaly svůj vzájemný poměr.
To znamená, že i barvy, které by tiskárna nezvládla přesně vytisknout, budou posunuty tak, aby celkový dojem byl co nejvěrnější originálnímu obrazu.
Všechny barvy v obraze se mohou mírně změnit, aby byly vizuálně konzistentní.
Použití: Nejlepší pro fotografie, kde jsou důležité přechody mezi barvami a přirozené podání.
ExifTool Návod, jak ho sepsal ChatGPB Přepíše se datum pořízení
Vyráběny jsou vzorníky FOMEI Collection, FomeiJet a SIHL MASTERCLASS, k těmto třem jsou k dispozici podklady ve formátu TIF.
ICC profily jsou dostupné pro SIHL, FOMEI Collection Baryta SILK 1310 a FomeiJet Portrait Matt 230
ICC pro SIHL MC Cotton Textured 320 http://www.sihl-masterclass.de/profile-files/48/epson. Je nutné věnovat pozornost doprovodným informacím o nastavení tiskového ovladače a aplikaci ICC. Doporučeno je vypnout správu barev v ovladači tiskárny a ICC konverzi provádět v tiskovém okně Photoshopu.
ICC profily pro FomeiJet Portrait Matt 230 a FOMEI Collection Baryta SILK 310 jsou možná dostupné na webu. Při tisku na FomeiJet Portrait Matt 230 je nutné nastavit v ovladači médium Epson Archival Matte Paper (Matte K), při tisku na FOMEI Collection Baryta SILK 310 pak Epson Premium Semiglossy Photo Paper (Photo K).
Pro tisk na FOMEI Collection REAL Velvet 265 ICC profil není k dispozici. Při prvním tisku lze použít přednastavení ovladače pro Premium Semigloss Photo Paper se zapnutou správou barev. Možnost výroby zákaznického ICC profilu je k dispozici.
Generické ICC profily mohou někdy vykazovat (výrazné) odchylky
Téma: obecné předpojaté světonázorové otázky vs. nuancované odpovědi. Výborný rozhovor! Peter Thiel je mužem nuancí. Ptá se obecně na tarify s náznakem vypečených závěrů. Odpovídá zvlášť cíleně a konkrétně. Na zahraniční politiku se ptá obecně. Thiel odpovídá o konkrétních geopolitických oblastech světa a o nutnosti zvažovat každou strategii zvlášť. Ptá se obecně na obavy ze skepse versus konspirační teorie. Odpovídá ve smyslu dogmatických vs. svobodných/inovativních přístupů k problémům. Lenostní předpojatost spočívá v rychlém vyvozování závěrů na obecné úrovni. Svět je složitý a jen přemýšliví lidé jako Thiel se v něm dobře orientují.
Super Heavy: 13 October 2024, 12:31:56 UTC - 14:31:56 Central Eutope
I rented a $17k lens to photograph the recent starship launch in detail. When I aligned and stitched all the photos I took together, it made a unique video showing the entire event from launch to catch.
I rented a $17k lens to photograph the recent starship launch in detail. When I aligned and stitched all the photos I took together, it made a unique video showing the entire event from launch to catch.
Odbory v Česku nemají dostatečnou sílu a jejich roztříštěné vyjednávání nevede k odpovídajícímu růstu mezd. To je podle prezidentky Asociace personalistů a ředitelky společnosti ManpowerGroup v ČR Jaroslavy Rezlerové jedním z důvodů, proč jsou čeští zaměstnanci placeni hůře než jejich kolegové na Západě.
