Mathstodon

0 posts0 participants0 posts today

µPIt's done! I have just given print approval for "Medientechnisches Wissen Vol. 1", 2nd edition. The book, originally published on 2017, grew from 306 to 428 pages - mostly because of an additional chapter on <a href="https://mastodon.social/tags/archaeology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#archaeology</a>. <a href="https://www.degruyter.com/document/isbn/9783111036540/html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.degruyter.com/document/isbn/9783111036540/html</a><a href="https://mastodon.social/tags/MediaScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MediaScience</a> <a href="https://mastodon.social/tags/MediaArchaeology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MediaArchaeology</a> <a href="https://mastodon.social/tags/Logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logics</a> <a href="https://mastodon.social/tags/InformationTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#InformationTheory</a> <a href="https://mastodon.social/tags/Cybernetics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Cybernetics</a>

Harald SackIn his keynote Ian Horrocks starts with looking back into <a href="https://sigmoid.social/tags/SemanticWeb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SemanticWeb</a> History...which was to be wxpected with a title like this: "Semantic Technology 20 Years On: The Journey So Far" ;-)<a href="https://sigmoid.social/tags/Semantics2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Semantics2024</a> <a href="https://sigmoid.social/tags/Semanticsconf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Semanticsconf</a> <a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a href="https://sigmoid.social/tags/dl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dl</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#semantics</a>

Harald SackA special occasion in our <a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@fizise</a> research seminar today: Sebastian Rudolph from TU Dresden was presenting on How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logicpaper: <a href="https://arxiv.org/abs/2206.06793" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://arxiv.org/abs/2206.06793</a><a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#semanticweb</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#knowledgerepresentation</a> <a href="https://sigmoid.social/tags/academiclife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#academiclife</a> <a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@fiz_karlsruhe</a> <a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@sourisnumerique</a> <a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@enorouzi</a> <a href="https://fedihum.org/@sashabruns" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@sashabruns</a> <a href="https://fedihum.org/@tabea" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@tabea</a> <a href="https://sigmoid.social/@GenAsefa" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@GenAsefa</a> <a href="https://sigmoid.social/@MahsaVafaie" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@MahsaVafaie</a> <a href="https://sigmoid.social/@shufan" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@shufan</a> <a href="https://fosstodon.org/@heikef" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@heikef</a>

Harald SackIn 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879. <a href="https://gallica.bnf.fr/ark:/12148/bpt6k65658c" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://gallica.bnf.fr/ark:/12148/bpt6k65658c</a><a href="https://sigmoid.social/tags/HostoryOfAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HostoryOfAI</a> <a href="https://sigmoid.social/tags/ISE2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ISE2024</a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lecture</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#knowledgerepresentation</a> <a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@enorouzi</a> <a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@sourisnumerique</a> <a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@fizise</a> <a href="https://sigmoid.social/tags/AIart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AIart</a>

Harald SackIn Week 5 of our free <a href="https://sigmoid.social/tags/kg2023" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kg2023</a> lecture we put Ontological Engineering for smarter Knowledge Graphs in the focus. First thing we have to take a look "Beyond the Limits of OWL" to better understand what we can do and what we cannot do with the Semantic Web technology stack. <a href="https://sigmoid.social/tags/OpenHPI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenHPI</a> video: <a href="https://open.hpi.de/courses/knowledgegraphs2023/items/4t7hBxv1I2qkSgWlFN6sm6" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://open.hpi.de/courses/knowledgegraphs2023/items/4t7hBxv1I2qkSgWlFN6sm6</a> youtube video: <a href="https://www.youtube.com/watch?v=8G5lCj4BxVw&list=PLNXdQl4kBgzubTOfY5cbtxZCgg9UTe-uF&index=48" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=8G5lCj4BxVw&list=PLNXdQl4kBgzubTOfY5cbtxZCgg9UTe-uF&index=48</a> slides: : <a href="https://zenodo.org/records/10135440" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://zenodo.org/records/10135440</a> <a href="https://sigmoid.social/tags/semantiweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#semantiweb</a> <a href="https://sigmoid.social/tags/knowledgegraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#knowledgegraph</a> <a href="https://sigmoid.social/tags/owl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#owl</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lecture</a> <a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@fiz_karlsruhe</a> <a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@fizise</a> <a href="https://fedihum.org/@tabea" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@tabea</a> <a href="https://fedihum.org/@sashabruns" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@sashabruns</a> <a href="https://sigmoid.social/@MahsaVafaie" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@MahsaVafaie</a> <a href="https://sigmoid.social/tags/aiart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#aiart</a>

µPStarting to <a href="https://mastodon.social/tags/TeXLaTeX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TeXLaTeX</a> the 2nd edition of my <a href="https://mastodon.social/tags/MediaStudies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MediaStudies</a> text-book series "Medientechnisches Wissen" - to be published by DeGruyter in 2024 ...<a href="https://mastodon.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://mastodon.social/tags/InformationTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#InformationTheory</a> <a href="https://mastodon.social/tags/Archaeology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Archaeology</a> <a href="https://mastodon.social/tags/MediaArchaeology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MediaArchaeology</a>

Harald Sack“The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right.” Quoting Leibniz for last week's <a href="https://sigmoid.social/tags/ise2023" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ise2023</a> lecture with a brief <a href="https://sigmoid.social/tags/HistoryofAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HistoryofAI</a> Slides: <a href="https://drive.google.com/file/d/18_xPnJDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing" rel="nofollow noopener noreferrer" target="_blank">https://drive.google.com/file/d/18_xPnJDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing</a><a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a href="https://sigmoid.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#artificialintelligence</a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lecture</a> <a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@fizise</a> <a href="https://mastodon.social/@KIT_Karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@KIT_Karlsruhe</a> @ebrahim <a href="https://sigmoid.social/tags/calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#calculemus</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/leibniz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#leibniz</a> <a href="https://sigmoid.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a>

µPBuild your virtual computer from <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.social/tags/gates" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gates</a> <a href="https://nandgame.com/" rel="nofollow noopener noreferrer" target="_blank">https://nandgame.com/</a><a href="https://mastodon.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://mastodon.social/tags/boolean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#boolean</a> <a href="https://mastodon.social/tags/gamification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gamification</a> <a href="https://mastodon.social/tags/UnconventionalComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UnconventionalComputing</a>

gprimieroExcellent location @unipv within the <a href="https://scholar.social/tags/Statistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Statistics</a> for <a href="https://scholar.social/tags/DataScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DataScience</a> and <a href="https://scholar.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> Conference to present our work @BRIO_PRIN on <a href="https://scholar.social/tags/Logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logics</a> for Fair AI in an interdisciplinary session on Data <a href="https://scholar.social/tags/Ethics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Ethics</a>

𝗠𝗔𝘀𝘁𝗼𝗠𝗘𝗺𝗲𝗠𝗔𝗸𝗲𝗿𝘀how i imagine <a href="https://det.social/tags/einstein" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#einstein</a> and <a href="https://det.social/tags/goedel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#goedel</a> meetings must have been...<a href="https://det.social/tags/alberteinstein" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#alberteinstein</a> <a href="https://det.social/tags/kurtgoedel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kurtgoedel</a> <a href="https://det.social/tags/g%C3%B6del" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gödel</a> <a href="https://det.social/tags/godel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#godel</a> <a href="https://det.social/tags/physics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#physics</a> <a href="https://det.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> <a href="https://det.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://det.social/tags/meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meme</a> <a href="https://det.social/tags/mamema" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mamema</a> <a href="https://det.social/tags/memes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#memes</a> <a href="https://det.social/tags/muppets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#muppets</a> <a href="https://det.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#science</a>

gprimieroCome work with us! 2 years postdoc position to develop <a href="https://scholar.social/tags/logics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logics</a> for <a href="https://scholar.social/tags/trustworthy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#trustworthy</a> <a href="https://scholar.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> within the BRIO Project ( <a href="https://scholar.social/tags/bias" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bias</a> <a href="https://scholar.social/tags/risk" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#risk</a> and <a href="https://scholar.social/tags/opacity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#opacity</a> in <a href="https://scholar.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> ) Deadline for applications is January 18th Details at <a href="https://sites.unimi.it/brio/post-doc-position-in-logic-at-luci-unimi/" rel="nofollow noopener noreferrer" target="_blank">https://sites.unimi.it/brio/post-doc-position-in-logic-at-luci-unimi/</a>

Marta Bilkova<a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="tag">#Introduction</a>: I am a logician and poet, based in Czech Academy of Sciences in Prague. My research interests circle around non-classical <a href="https://mathstodon.xyz/tags/logics" class="mention hashtag" rel="tag">#logics</a>, in particular epistemic, many-valued, and coalgebraic logics. While I love <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> and do it for living, <a href="https://mathstodon.xyz/tags/Poetry" class="mention hashtag" rel="tag">#Poetry</a> keeps me alive. I want to stay connected to <a href="https://mathstodon.xyz/tags/PoetryCommmunity" class="mention hashtag" rel="tag">#PoetryCommmunity</a> here in fediverse.

Kvantumo<a href="https://mathstodon.xyz/tags/introduction" class="mention hashtag" rel="tag">#introduction</a> I like a lot <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="tag">#categorytheory</a> , <a href="https://mathstodon.xyz/tags/Logics" class="mention hashtag" rel="tag">#Logics</a> , <a href="https://mathstodon.xyz/tags/computerscience" class="mention hashtag" rel="tag">#computerscience</a> and <a href="https://mathstodon.xyz/tags/complexity" class="mention hashtag" rel="tag">#complexity</a> and every time I see in them some different way to approach the problem of <a href="https://mathstodon.xyz/tags/intelligence" class="mention hashtag" rel="tag">#intelligence</a> .I would like to be able to understand and recreate artificially intelligence at least at level of humans, maybe with the help of category theory.2/2

⎯ΘωΘ⟶An <a href="https://mathstodon.xyz/tags/Epistemic" class="mention hashtag" rel="tag">#Epistemic</a> <a href="https://mathstodon.xyz/tags/Foundation" class="mention hashtag" rel="tag">#Foundation</a> for <a href="https://mathstodon.xyz/tags/Authentication" class="mention hashtag" rel="tag">#Authentication</a> <a href="https://mathstodon.xyz/tags/Logics" class="mention hashtag" rel="tag">#Logics</a><a href="https://arxiv.org/abs/1707.08750" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://arxiv.org/abs/1707.08750</a>

Recent searches

Search options

Administered by:

Server stats:

#Logics