Preskoči na sadržaj
Korištenjem servisa na Twitteru pristajete na korištenje kolačića. Twitter i partneri rade globalno te koriste kolačiće za analize, personalizaciju i oglase.

Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.

  • Naslovnica Naslovnica Naslovnica, trenutna stranica.
  • O Twitteru

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @
  • Jezik: Hrvatski
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English
    • English UK
    • Español
    • Filipino
    • Français
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Български език
    • Русский
    • Српски
    • Українська мова
    • Ελληνικά
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Imate račun? Prijava
    Imate račun?
    · Zaboravili ste lozinku?

    Novi ste na Twitteru?
    Registrirajte se
Profil korisnika/ce bblfish
The 🐟‍‍ BabelFish
The 🐟‍‍ BabelFish
The  🐟‍‍ BabelFish
@bblfish

Tweets

The  🐟‍‍ BabelFish

@bblfish

Enabling cooperation of sovereign actors with hyper-Apps that read/write hyper-Data on the Web 👍 Cat-herding ❌ Phishing 🎣 👷 Scala 🚀 Reality Distortion Field

Germany, France, UK
co-operating.systems
Vrijeme pridruživanja: kolovoz 2007.

Tweets

  • © 2020 Twitter
  • O Twitteru
  • Centar za pomoć
  • Uvjeti
  • Pravila o privatnosti
  • Imprint
  • Kolačići
  • Informacije o oglasima
Odbaci
Prethodni
Sljedeće

Idite na profil osobe

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @

Odjava

Blokiraj

  • Objavi Tweet s lokacijom

    U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više

    Vaši popisi

    Izradi novi popis


    Manje od 100 znakova, neobavezno

    Privatnost

    Kopiraj vezu u tweet

    Ugradi ovaj Tweet

    Embed this Video

    Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Hm, došlo je do problema prilikom povezivanja s poslužiteljem.

    Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.

    Pregled

    Razlog prikaza oglasa

    Prijavi se na Twitter

    · Zaboravili ste lozinku?
    Nemate račun? Registrirajte se »

    Prijavite se na Twitter

    Niste na Twitteru? Registrirajte se, uključite se u stvari koje vas zanimaju, i dobivajte promjene čim se dogode.

    Registrirajte se
    Imate račun? Prijava »

    Dvosmjerni (slanje i primanje) kratki kodovi:

    Država Kod Samo za korisnike
    Sjedinjene Američke Države 40404 (bilo koje)
    Kanada 21212 (bilo koje)
    Ujedinjeno Kraljevstvo 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Irska 51210 Vodafone, O2
    Indija 53000 Bharti Airtel, Videocon, Reliance
    Indonezija 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italija 4880804 Wind
    3424486444 Vodafone
    » Pogledajte SMS kratke šifre za druge zemlje

    Potvrda

     

    Dobro došli kući!

    Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.

    Tweetovi vam ne valjaju?

    Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.

    Kažite mnogo uz malo riječi

    Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.

    Proširite glas

    Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.

    Pridruži se razgovoru

    Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.

    Saznajte najnovije vijesti

    Bez odgode pogledajte o čemu ljudi razgovaraju.

    Pratite više onoga što vam se sviđa

    Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.

    Saznajte što se događa

    Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.

    Ne propustite nijedan aktualni događaj

    Bez odgode pratite kako se razvijaju događaji koje pratite.

    The  🐟‍‍ BabelFish‏ @bblfish 14. sij 2019.
    • Prijavi Tweet

    Very clear thesis by Ivano Ciardelli bringing together logic & questions in one simple formal system linking questions and facts eg: In what year did Galileo discover Jupiter's Moon? ⊨ Galileo discovered Jupiter's Moons ⊨ Did Galileo Discover anything? https://dare.uva.nl/search?identifier=679cda04-90d9-45a8-8450-b4d8eb3139bc …pic.twitter.com/uxfNCsUuYV

    04:10 - 14. sij 2019. iz: Orange, France
    • 1 proslijeđeni Tweet
    • 7 oznaka „sviđa mi se”
    • -_- Nick Main Shon Feder Uldis Bojars Dr. Bethan Tovey-Walsh Adam Saltiel James Tauber
    1 proslijeđeni tweet 7 korisnika označava da im se sviđa
      1. Novi razgovor
      2. The  🐟‍‍ BabelFish‏ @bblfish 17. sij 2019.
        • Prijavi Tweet

        Here is my first attempt at analysing #Brexit using the Logic of Questions work linked to in the thread above.pic.twitter.com/MQ7PuGyxK0

        1 reply 1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
        Prikaži ovu nit
      3. The  🐟‍‍ BabelFish‏ @bblfish 22. sij 2019.
        • Prijavi Tweet

        The complete map of inquisitive propositions (= facts + questions) on #Brexit/#Lexit, assuming 3 exclusive possibilities: ε: stay in EU τ: Theresa's compromise κ: no deal crash out annotated from the book "Inquisitive Semantics" https://books.google.co.uk/books?id=a8d-DwAAQBAJ …pic.twitter.com/UvV9y1o0Zj

        2 proslijeđena tweeta 7 korisnika označava da im se sviđa
        Prikaži ovu nit
      4. The  🐟‍‍ BabelFish‏ @bblfish 22. sij 2019.
        • Prijavi Tweet

        I noticed that in this book up until chapter 4 they don't use the ⩖ symbol for inquisitive disjunction, as they do in the thesis "Questions in Logic" referred to higher up in the thread. Instead they use ⋁ for that & have maps to pure declarative ones using the ! operator.

        0 replies 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      5. Kraj razgovora
      1. Novi razgovor
      2. The  🐟‍‍ BabelFish‏ @bblfish 18. sij 2019.
        • Prijavi Tweet

        Vert Intriguing: classical and intuitionistic #logic split exactly at the demarcation between facts & questions! And dependence between questions it seems is similar to proofs as programs. #erotetics #InformationTheory #HomotopyTypeTheory #CategoryTheory (see thread above)pic.twitter.com/9dYXmmHhdD

        1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      3. The  🐟‍‍ BabelFish‏ @bblfish 18. sij 2019.
        • Prijavi Tweet

        Reading on Inquisitive Logic has made me wonder about it's relation to Logic as Games as developed by Hintikka, Van Benthem, Abramski, and others. #GameTheory #IntuitionisticLogic #HomotopyTypeTheory #Maths #PhDhttps://math.stackexchange.com/questions/3078532/relation-between-inquisitive-logic-and-logic-as-games …

        0 replies 0 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      4. Kraj razgovora
      1. Novi razgovor
      2. The  🐟‍‍ BabelFish‏ @bblfish 18. sij 2019.
        • Prijavi Tweet

        The formula for a thesis given in terms of inquisitive semantics is: What is Belief Space of your Audience? ∧ What is the Location Of Knowledge To Be Imparted? ⊨ What questions need to be asked? ⊨ What Length of Reasoning is required? @DameWendyDBE @v_sassone @RubenVerborgh

        1 reply 3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      3. The  🐟‍‍ BabelFish‏ @bblfish 21. sij 2019.
        • Prijavi Tweet

        #h2g2 meets #semweb: the answer is #SoLiD but my reviewers asked what my questions were. So studying what questions are, I found them to be downward closed sets of information states with alternatives - strangely similar to an #rdf quad store. Is it not?https://books.google.co.uk/books?id=a8d-DwAAQBAJ&num=5&source=gbs_slider_cls_metadata_7_mylibrary …

        0 replies 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        Prikaži ovu nit
      4. Kraj razgovora
      1. The  🐟‍‍ BabelFish‏ @bblfish 21. sij 2019.
        • Prijavi Tweet

        They published a new book this year "Inquisitive Semantics" which seems to contain less formal proofs and is available for free right now. It helps to have slightly different views on the same subject.https://books.google.co.uk/books?id=a8d-DwAAQBAJ&num=5&source=gbs_slider_cls_metadata_7_mylibrary …

        0 replies 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
        Prikaži ovu nit
        Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
        Poništi

    Čini se da učitavanje traje već neko vrijeme.

    Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

      Sponzorirani tweet

      false

      • © 2020 Twitter
      • O Twitteru
      • Centar za pomoć
      • Uvjeti
      • Pravila o privatnosti
      • Imprint
      • Kolačići
      • Informacije o oglasima