Sign in

Andreas Fjellstad

@fjellandy.bsky.social
182 followers 187 following 389 posts

Philosopher of logic and computation. Logician. Can apply infinitary inference rules without divine revelations.

PostsRepliesMedia
Andreas Fjellstad @fjellandy.bsky.social · 08/10/2026
It wasn't true.
010
Andreas Fjellstad @fjellandy.bsky.social · 08/10/2026
men er også ingenting der som tilsier at de skal lære om AI verktøy heller, så det er jo greit. Vanskelig å se hvordan kompetansemålene oppnåes gjennom slike..
100
Andreas Fjellstad @fjellandy.bsky.social · 08/10/2026
hva sier læreplanen om det, sånn konkret?
100
Andreas Fjellstad @fjellandy.bsky.social · 30/09/2026
Noen ganger trengs det litt drøyere retoriske grep. Det jeg savna er en sammenligning med sykkel og til og med løping for å få bort fokus fra barnets fremkomstmiddel. Hva om det var en tenåring som kom løpende i 18kmt?
041
Andreas Fjellstad @fjellandy.bsky.social · 23/09/2026
But don't go nuts now.
010
Andreas Fjellstad @fjellandy.bsky.social · 22/09/2026
Staring at a claim I've written up as a lemma, wondering about whether it is true.
000
Andreas Fjellstad @fjellandy.bsky.social · 13/09/2026
Maybe it makes them feek insecure?
010
Andreas Fjellstad @fjellandy.bsky.social · 08/09/2026
I assumed so, which again suggests that further gate-keeping mechanisms are required for the usefulness of the site. Why should a university library support it financially if anyone can use it to share their AI slop?
000
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
But it is like reviewing, just very light, and certainly to the benefit of the profession? Let the users do it.
100
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
So there is room for improvement. In fact, why isnt there already a human filter for uploaded papers?
101
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
At least you stop it from being included in that category? Can you also delete it, or flag it in that regard?
110
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
Tja, skal ikke uttale meg om graden av risiko utover at den sikkert er høyere enn statsgjeld, og at det helt sikkert blir en del konkurser selv om infrastrukturen viser seg å være nødvendig.
110
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
Datasenterekspansjonen betales for gjennom opptak av gjeld, det er masse slik gjeld på markedet. Denne gjelden har høy risikoprofil fordi selskapene har veldig høy gjeld til inntekt ratio. Og sjefen til Oljefondet digger AI.
110
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
Nei, de vil vel bare kjøpe datasentergjeld?
100
Andreas Fjellstad @fjellandy.bsky.social · 07/09/2026
Når siste håp består i å måtte krysse fingrene så er vel løpet kjørt.
000
Andreas Fjellstad @fjellandy.bsky.social · 04/09/2026
Du burde prøve deg på brev på svensk fra Kela (tilsvarende NAV i Finland).
000
Andreas Fjellstad @fjellandy.bsky.social · 02/09/2026
Du kan vel svare med å gi dem sted, tidspunkt og nummer på tjenestebil, bare for å lette arbeidet deres?
140
Andreas Fjellstad @fjellandy.bsky.social · 01/09/2026
And closing that cultural house in Berlin will really make them think twice before sending another armed drone.
120
Andreas Fjellstad @fjellandy.bsky.social · 23/08/2026
15 minutes into it and my 5 1/2 year old walks past saying "that's nice music playing".
110
Andreas Fjellstad @fjellandy.bsky.social · 23/08/2026
Not the kind of philosophy I engage with.
010
Andreas Fjellstad @fjellandy.bsky.social · 23/08/2026
Interestingly, while I only recognise a few names, the names I recognise do not surprise me.
130
Andreas Fjellstad @fjellandy.bsky.social · 21/08/2026
Hos sykkelkureren som frakter overføringa mellom bankene?
020
Andreas Fjellstad @fjellandy.bsky.social · 20/08/2026
Hvilke europeiske land har det fremdeles?
030
Andreas Fjellstad @fjellandy.bsky.social · 20/08/2026
Tenker vel i allefall at offentlige henrettelser ved henging ikke er forenelig med Eurovision deltakelse da.
150
Andreas Fjellstad @fjellandy.bsky.social · 18/08/2026
Greit at det var politiet da, antar de tok imot anmeldelse på direkten?
141
Andreas Fjellstad @fjellandy.bsky.social · 12/08/2026
vasket til og med håret idag. hva trenger du en filosof til?
010
Andreas Fjellstad @fjellandy.bsky.social · 29/07/2026
Perhaps not exactly, since different assumptions of the same formula cannot be assigned different numbers now? For example to prove A->(A->(A&A)). Each assumption of A needs a distinct number? I am probably still missing something!
100
Andreas Fjellstad @fjellandy.bsky.social · 29/07/2026
Yes that's why but adding the index to a formula is not. So in order to introduce a conjunction A and B, we need that A and B are obtained from the same number of assumptions?
110
Andreas Fjellstad @fjellandy.bsky.social · 29/07/2026
What do they do wrt the formula? Especially with the brackets..Asking because I couldn't find an explanation! Though probably a stupid question with a simple answer.
110
Andreas Fjellstad @fjellandy.bsky.social · 29/07/2026
000
Andreas Fjellstad @fjellandy.bsky.social · 29/07/2026
Cool. What are the subscripts on formulas in NS? I.e. alpha, beta, k in italics, k and k in brackets since set-theoretic operations apply?
100
Reposted by Andreas Fjellstad
Twonks @twonks.bsky.social · 13/07/2026
Great job 👏
9099283233
Reposted by Andreas Fjellstad
Michael Caley @michaelcaley.bsky.social · 09/07/2026
I did it I wrote the article wish me luck Lionel Messi is the GOAT, Ronaldo is not, why just about every statistical analyst agress www.expectinggoals.com/p/messi-rona...
expectinggoals.com
Why Messi keeps thriving as Ronaldo fades: The GOAT's always been the best
I'm not proud, or tired
27499108
Andreas Fjellstad @fjellandy.bsky.social · 10/06/2026
At least beauty requires rigour? And rigour without beauty is uninteresting?
000
Andreas Fjellstad @fjellandy.bsky.social · 10/06/2026
I dont see any point about how rigour and beauty are parallel in this context?
100
Andreas Fjellstad @fjellandy.bsky.social · 09/06/2026
Noen burde også fortelle han at Norge ikke er en del av kontinentet.
100
Andreas Fjellstad @fjellandy.bsky.social · 05/06/2026
Det er ingen som fungerer til analytisk filosofi.
010
Andreas Fjellstad @fjellandy.bsky.social · 23/05/2026
I read "Habermas" instead of "Habersham"
011
Andreas Fjellstad @fjellandy.bsky.social · 22/05/2026
Hvorfor skulle du gjøre det da, mente de?
120
Andreas Fjellstad @fjellandy.bsky.social · 22/05/2026
Ut av nysgjerrighet, hvordan selger de inn mangel på honorar? Altså, kaller de det "kronikk" for eksempel?
120
Andreas Fjellstad @fjellandy.bsky.social · 21/05/2026
Perhaps you would prefer that folks just rate papers (with voluntary brief comments to justify the number of stars) on philpapers as quality control, with the value of each review is weighed on trust of the reviewer?
110
Andreas Fjellstad @fjellandy.bsky.social · 04/05/2026
Høres ut som at noen har lagt ut ei fagfellevurderingsfelle.
010
Andreas Fjellstad @fjellandy.bsky.social · 03/05/2026
Tja, vil egentlig ikke kalle det der en uenighet om hva et faktum er. Det dreier seg kanskje heller om ulike prosjekter hvor det samme tildels førteoretiske begrepet har blitt tildelt en litt ulik rolle?
110
Andreas Fjellstad @fjellandy.bsky.social · 03/05/2026
Var de uenige om hva fakta er?
100
Andreas Fjellstad @fjellandy.bsky.social · 29/04/2026
Mye billigere enn ålreite løpesko for å si det slik. Men hvor mange timer holder et slikt sett?
110
Andreas Fjellstad @fjellandy.bsky.social · 28/04/2026
Spiller man golf i slike sko?
100
Andreas Fjellstad @fjellandy.bsky.social · 28/04/2026
Du spør om hvorfor noen som er sårbare for radikalisering blir radikalisert?
000
Andreas Fjellstad @fjellandy.bsky.social · 21/04/2026
But then they are always true together, and thus necessary and sufficient for each other?
000
Andreas Fjellstad @fjellandy.bsky.social · 21/04/2026
Hold on, are there false mathematical theorems?
100
Andreas Fjellstad @fjellandy.bsky.social · 21/04/2026
I dont see it immediately as a problem with the use of a material conditional. Could also be just failing to specify the modality of the sentence "if p then q": if we treat it as valid, then q is necessary for p.
110