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 _julesh_
julesh
julesh
julesh
@_julesh_

Tweets

julesh

@_julesh_

Applied category theorist taking a long shot at economics. Connoisseur of diagrammatic syntax. Categorical cybernetics. 🇬🇧 in 🇩🇪 @mismpg (he/him)

Leipzig, Germany
julesh.com
Vrijeme pridruživanja: svibanj 2017.

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.

    julesh‏ @_julesh_ 28. sij
    • Prijavi Tweet

    If your philosophy of mathematics only works because it changes the definition of mathematics to be something different to "what mathematicians do" then, well, it's cheating

    07:30 - 28. sij 2020.
    • 7 proslijeđenih tweetova
    • 83 oznake „sviđa mi se”
    • danish ∞-Homo(A,B) Chris a u Emile'Z Kien Dang AbdelHameed Mads Munch Hansen Ramin Khosravi Nikolai Sivertsen
    12 replies 7 proslijeđenih tweetova 83 korisnika označavaju da im se sviđa
      1. Novi razgovor
      2. julesh‏ @_julesh_ 28. sij
        • Prijavi Tweet

        This includes if you define "proof" in a way that implies that, say, Gauss never wrote a proof in his life

        1 proslijeđeni tweet 27 korisnika označava da im se sviđa
        Prikaži ovu nit
      3. julesh‏ @_julesh_ 28. sij
        • Prijavi Tweet

        "Gauss wrote 8 proof-sketches of quadratic reciprocity. If only Coq had been released back then, he might have written 8 proofs"

        0 replies 1 proslijeđeni tweet 33 korisnika označavaju da im se sviđa
        Prikaži ovu nit
      4. Kraj razgovora
      1. Novi razgovor
      2. {Joshua Silva}‏ @silvascientist 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @_julesh_

        What if your main thrust is that "what mathematicians do" is becoming increasingly problematic and divorced from genuine mathematical practice, eg Kevin Buzzard asking "Is this even mathematics?"

        0 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
      3. Alexander Boland‏ @interpretantion 28. sij
        • Prijavi Tweet
        Odgovor korisnicima @silvascientist @_julesh_

        I think the philosophy of anything doesn't define the subject but creates some sort of adjacent interface with it in order to answer its own questions. Just like mathematicians do what suits them, a philosopher of math uses mathematics in a way to answer their own questions.

        0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
      4. Još 5 drugih odgovora
      1. Novi razgovor
      2. Ben Steffan‏ @BiCapitalize 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @_julesh_

        It seems strange for somebody from a subject that is decidedly not empiric to only allow for empiric opinion when treating that subject philosophically.

        1 reply 0 proslijeđenih tweetova 8 korisnika označava da im se sviđa
      3. Ben Steffan‏ @BiCapitalize 28. sij
        • Prijavi Tweet
        Odgovor korisnicima @BiCapitalize @_julesh_

        There's a big merit to changing the definition to something easier accessible than "what mathematicians do", because "what mathematicians do" is only understandable in consensus of what constitutes, well, doing mathematics and what doesn't.

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      4. Još 6 drugih odgovora
      1. Novi razgovor
      2. Timothy Gowers‏ @wtgowers 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @_julesh_

        So a proper philosophy of mathematics must in your view be time-dependent?

        1 reply 0 proslijeđenih tweetova 9 korisnika označava da im se sviđa
      3. Antoine Chambert-Loir‏ @achambertloir 28. sij
        • Prijavi Tweet
        Odgovor korisnicima @wtgowers @_julesh_

        Isn't all human activity time-dependent? (No trolling intended)

        0 replies 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      4. Kraj razgovora
      1. Mohamar Rios Flores‏ @MohamarF 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @_julesh_

        I am of the opinion that we don't really write formal proofs so much as we write meta arguments that say it is possible to write a formal proof.

        0 replies 0 proslijeđenih tweetova 9 korisnika označava da im se sviđa
        Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
        Poništi
      1. Novi razgovor
      2. Keith E Peterson‏ @KeithEPeterson_ 28. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @_julesh_

        What mathematicians "do" is take older ideas, models, proofs, formulae, etc and combine them to create new ideas. models, proofs, formulae, etc, much in the same way a computer programmer takes older code modules to create newer code. 1/n

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      3. Keith E Peterson‏ @KeithEPeterson_ 28. sij
        • Prijavi Tweet
        Odgovor korisnicima @KeithEPeterson_ @_julesh_

        The difference between a mathematician and a programmer is that one runs the math on a computer, and the other is running the code on either their own or other people's minds. However, that distinction is being eroded now by HoTT and trinitarianism. 2/2

        0 replies 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      4. Kraj razgovora

    Č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