theorem — Dizionario inglese

theorem
Pronunce (7)
  • /ˈθiː.ə.ɹəm/
    Note sulla pronuncia
    • UK
  • /ˈθɪːɹ(ə)m/
    Note sulla pronuncia
    • British
    • Southern
    • Standard
  • /ˈθɪjəɹ(ə)m/
    Note sulla pronuncia
    • British
    • Southern
    • Standard
  • /ˈθiərəm/
    Note sulla pronuncia
    • US
  • /ˈθɪrəm/
    Note sulla pronuncia
    • US
  • ˈθiː.ə.ɹəm
    Note sulla pronuncia
    • GB
  • ˈθɪəɹ.əm
    Note sulla pronuncia
    • US

Sostantivo

  1. A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.

  2. A mathematical statement that is expected to be true.

    Uso
    • colloquiale
    • nonstandard
    Esempi

    Fermat's Last Theorem was known thus long before it was proved in the 1990s.

  3. A syntactically correct expression that is deducible from the given axioms of a deductive system.

Verbo

  1. To formulate into a theorem.

    Uso
    • transitivo

Sostantivo

  1. a proposition deducible from basic postulates

    Termini più generali
  2. an idea accepted as a demonstrable truth

    Termini più generali
Forme della parola
theoremstheoremstheoremingtheoremedtheoremed

Formattatori di codice

Formatta e abbellisci Java, Python, JavaScript, JSON, HTML e altro; uniforma rientri, spazi e interruzioni di riga.

Altri strumenti

Modifica ed effetti audio

Taglia, unisci o dividi registrazioni, elimina silenzi e rumore e regola volume, velocità, tono o canali.

Altri strumenti

Strumenti per fogli di calcolo

Apri e modifica fogli CSV o Excel, formatta testo tabellare e converti CSV in Excel o SQL.

Altri strumenti

Strumenti Markdown

Scrivi e visualizza Markdown, mostra diagrammi Mermaid e converti tra Markdown, HTML e tabelle.

Altri strumenti

Strumenti di testo

Confronta testi, conta parole e termini frequenti, ordina o sostituisci righe e visualizza testo DOCX.

Altri strumenti

Dizionari

Consulta significati, sinonimi e contrari delle parole cinesi o trova trascrizioni IPA in più lingue.

Conversione e riproduzione audio

Converti tra MP3, WAV, FLAC e altri formati, riproduci audio o PCM grezzo e consulta o modifica i metadati.

Strumenti JSON e dati

Esamina, confronta e convalida JSON; prova espressioni JSONPath o converti dati in CSV, YAML e XML.

Altri strumenti

Strumenti vocali

Trascrivi audio in testo, genera voce dal testo o registra la tua voce nel browser.

Strumenti video

Converti e comprimi video, taglia o unisci clip, ridimensiona fotogrammi ed estrai audio.

Altri strumenti

Riproduzione e registrazione video

Riproduci video locali o in streaming, registra schermo o fotocamera e usa la fotocamera come specchio online.

Strumenti PDF

Comprimi o unisci PDF, dividi e riordina pagine, trasformale in immagini e visualizza o confronta documenti.

Altri strumenti

Strumenti per immagini

Converti formati immagine, ridimensiona o ritaglia foto, comprimi file, confronta immagini ed estrai testo con OCR.

Altri strumenti

Creazione di immagini

Cattura e abbellisci schermate, crea immagini o GIF dal testo, disegna su una lavagna e genera nuvole di parole o favicon.

Altri strumenti

Strumenti per sottotitoli

Modifica sottotitoli SRT o VTT con anteprima video, sposta i tempi, converti formati e gestisci tracce sottotitoli.

Altri strumenti

Strumenti per archivi

Apri archivi ZIP, 7Z, RAR o TAR, estrai i file desiderati e crea nuovi archivi; ZIP e 7Z possono essere protetti da password.

Codificatori | Decodificatori

Codifica e decodifica Base64 o Base32, applica l’escape a URL, HTML e Unicode e consulta il contenuto dei JWT.

Altri strumenti

Strumenti numerici

Converti valori tra binario, decimale ed esadecimale; scrivi numeri in lettere o trasforma testo in binario.

Calcolatori

Calcola percentuali e frazioni, riassumi statistiche e determina voti, sconti o proporzioni dell’immagine.

Altri strumenti

Strumenti per il tempo

Mostra un orologio online, avvia conto alla rovescia o cronometro e calcola date, età o differenze di fuso orario.

Altri strumenti

Strumenti di rete

Verifica IP e connessione IPv6, esamina richieste HTTP o file HAR e calcola intervalli di indirizzi CIDR.

Conversioni di unità

Converti unità di lunghezza, peso, temperatura, spazio dati e altro.

Strumenti per i colori

Converti valori HEX, RGB e HSL, estrai colori da un’immagine, verifica il contrasto o prova lo schermo con colori uniformi.

Codici QR e codici a barre

Genera e leggi codici QR o a barre, inclusi codici QR per link e reti Wi-Fi.

Strumenti di sviluppo e sicurezza

Genera hash, UUID e password, prova espressioni regolari, crea slug URL e verifica permessi dei file.

Altri strumenti

Strumenti di utilità

Verifica risoluzione e frequenza dello schermo, misura con un righello, prova i tasti o leggi con un teleprompter.

Altri strumenti

Giochi

2048, Campo minato, Sudoku, Gomoku, Battaglia di carri armati

Altri strumenti